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.
History | |||
---|---|---|---|
Date | User | Action | Args |
2021-12-10 00:22:22 | huji | set | status: open -> closed |
2018-08-18 14:44:15 | huji | link | issue34430 pull_requests |
2018-08-18 14:44:15 | huji | create |