Skip to content

Conversation

youknowone
Copy link
Member

closes #4086 by cherry-picking many lines
@Yaminyam Thank you!

#4078

@youknowone youknowone merged commit 91c0c8b into RustPython:main Oct 7, 2023
@youknowone youknowone deleted the windows branch October 7, 2023 05:14
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.

2 participants