Skip to content

Upgrade pytype#8025

Merged
AlexWaygood merged 1 commit intomasterfrom
AlexWaygood-pytype
Jun 7, 2022
Merged

Upgrade pytype#8025
AlexWaygood merged 1 commit intomasterfrom
AlexWaygood-pytype

Conversation

@AlexWaygood
Copy link
Member

Unblocks #7865

@AlexWaygood AlexWaygood merged commit 15ad265 into master Jun 7, 2022
@AlexWaygood AlexWaygood deleted the AlexWaygood-pytype branch June 7, 2022 11:13
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant