Pull Request
➜
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 |
| 2019-07-08 21:24:12 | Carl.Friedrich.Bolz | set | status: merged -> closed |
| 2019-07-08 21:17:58 | Carl.Friedrich.Bolz | set | status: open -> merged |
| 2019-07-05 20:46:32 | Carl.Friedrich.Bolz | link | issue18374 pull_requests |
| 2019-07-05 20:46:32 | Carl.Friedrich.Bolz | create | |