➜ 
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 |
| 2020-05-15 05:16:55 | gvanrossum | set | status: merged -> closed |
| 2020-05-15 02:22:51 | gvanrossum | set | status: open -> merged |
| 2020-05-13 17:10:22 | gvanrossum | link | issue40612 pull_requests |
| 2020-05-13 17:10:22 | gvanrossum | create | |