Skip to content
This repository has been archived by the owner on Feb 26, 2024. It is now read-only.

Extends application type hints #89

Merged
merged 2 commits into from
Oct 9, 2023
Merged

Extends application type hints #89

merged 2 commits into from
Oct 9, 2023

Conversation

djperrefort
Copy link
Member

No description provided.

@djperrefort djperrefort enabled auto-merge (squash) October 9, 2023 17:37
@djperrefort djperrefort merged commit 859b0cb into main Oct 9, 2023
9 checks passed
@djperrefort djperrefort deleted the hints branch October 9, 2023 17:40
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant