Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

type hinting, rexstan #26

Merged
merged 3 commits into from
Nov 24, 2023
Merged

type hinting, rexstan #26

merged 3 commits into from
Nov 24, 2023

Conversation

alxndr-w
Copy link
Member

No description provided.

@alxndr-w alxndr-w requested a review from schorschy November 21, 2023 10:34
@alxndr-w alxndr-w self-assigned this Nov 21, 2023
Copy link

@schorschy schorschy left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

schaut gut aus

@alxndr-w alxndr-w merged commit baef070 into main Nov 24, 2023
@alxndr-w alxndr-w deleted the type_hinting branch November 24, 2023 12:11
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants