Skip to content

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

Closed
inmantaci wants to merge 1 commit intoiso6from
merge-tool/6018/iso6
Closed

cleaned up typing-extensions constraint (#6018)#6019
inmantaci wants to merge 1 commit intoiso6from
merge-tool/6018/iso6

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 iso6 in 4bf3236

@inmantaci inmantaci closed this May 23, 2023
@inmantaci inmantaci deleted the merge-tool/6018/iso6 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