| History | |||
|---|---|---|---|
| Date | User | Action | Args |
| 2018-10-26 12:35:08 | vstinner | set | status: open -> merged |
| 2018-10-25 00:29:50 | vstinner | set | status: closed -> open |
| 2018-10-25 00:29:48 | vstinner | set | status: open -> closed |
| 2018-10-24 14:44:36 | vstinner | link | issue35059 pull_requests |
| 2018-10-24 14:44:36 | vstinner | create | |
