Skip to content
New issue

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

Sign up for GitHub

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

Already on GitHub? Sign in to your account

Jump to bottom

Fix bug with TypedDict for typing_extensions specifically #145

Merged
merged 1 commit into from Mar 1, 2023
Merged

Fix bug with TypedDict for typing_extensions specifically #145

merged 1 commit into from Mar 1, 2023

Conversation

ariebovenberg
Copy link
Owner

@ariebovenberg ariebovenberg commented Mar 1, 2023 •
edited

Description

See #120

Before merge

  • tox runs successfully
  • Docs updated

Before release (if applicable)

  • Version updated in pyproject.toml
  • Version updated in pre-commit hook example
  • Version updated in changelog
  • Branch merged
  • Tag created and pushed
  • Published

@ariebovenberg ariebovenberg force-pushed the typeddict-from-typing-extensions branch 2 times, most recently from 45ce5d9 to f4571d1 Compare March 1, 2023 13:44
@ariebovenberg ariebovenberg force-pushed the typeddict-from-typing-extensions branch from f4571d1 to e2a1c02 Compare March 1, 2023 13:52
@ariebovenberg ariebovenberg merged commit a7704e5 into main Mar 1, 2023
@ariebovenberg ariebovenberg deleted the typeddict-from-typing-extensions branch March 1, 2023 13:56
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
1 participant
@ariebovenberg