Skip to content

Conversation

@zonuexe
Copy link
Member

Apply part of the patch received from Stefan Monnier. This PR contains changes that do not affect behavior.

@zonuexezonuexeforce-pushed the apply-monnier-patch branch from 3885058 to e45117fCompareApril 10, 2023 12:08
@zonuexezonuexe merged commit 1e4e93c into masterApr 10, 2023
@zonuexezonuexe deleted the apply-monnier-patch branch April 10, 2023 12:11
Sign up for freeto 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.

3 participants

@zonuexe@monnier