Message 377031 - Python tracker

➜

This issue tracker has been migrated to GitHub, and is currently read-only.
For more information, see the GitHub FAQs in the Python's Developer Guide.

Content 
Irit, yes. Serhiy's patch could be converted to a GitHub PR and it can be merged.