Skip to content

cleaned up typing-extensions constraint (#6018)#6020

Closed
inmantaci wants to merge 1 commit intoiso5from
merge-tool/6018/iso5
Closed

cleaned up typing-extensions constraint (#6018)#6020
inmantaci wants to merge 1 commit intoiso5from
merge-tool/6018/iso5

Conversation

@inmantaci
Copy link
Copy Markdown
Contributor

Pull request opened by the merge tool on behalf of #6018

@inmantaci inmantaci added the merge-tool-ready This ticket is ready to be merged in label May 23, 2023
@inmantaci
Copy link
Copy Markdown
Contributor Author

Merged into branches iso5 in 1af6354

@inmantaci inmantaci closed this May 23, 2023
@inmantaci inmantaci deleted the merge-tool/6018/iso5 branch May 23, 2023 12:43
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

merge-tool-ready This ticket is ready to be merged in

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants