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 |
| 2017-05-31 14:00:22 | Albert-Jan Nijburg | set | status: open -> merged |
| 2017-05-16 15:44:07 | Albert-Jan Nijburg | link | issue25324 pull_requests |
| 2017-05-16 15:44:07 | Albert-Jan Nijburg | create | |