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

Jump to bottom

Fix type hint of schemas, for example for Required('key') #478

Merged
merged 2 commits into from
Feb 22, 2023
Merged

Fix type hint of schemas, for example for Required('key') #478

merged 2 commits into from
Feb 22, 2023

Conversation

ds-cbo
Copy link
Contributor

@ds-cbo ds-cbo commented Feb 20, 2023

As discussed in #475

cc/ @yilei

@alecthomas alecthomas merged commit 72641b8 into alecthomas:master Feb 22, 2023
@alecthomas
Copy link
Owner

Thanks!

@ds-cbo ds-cbo deleted the generate-stub branch February 23, 2023 12:11
# for free to join this conversation on GitHub. Already have an account? # to comment
Reviewers

@alecthomas alecthomas alecthomas left review comments

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@ds-cbo @alecthomas