| History | |||
|---|---|---|---|
| Date | User | Action | Args |
| 2020-02-06 21:41:36 | vstinner | set | status: open -> merged |
| 2020-02-06 17:23:35 | vstinner | set | status: closed -> open |
| 2020-02-06 17:23:32 | vstinner | set | status: open -> closed |
| 2020-02-06 16:01:25 | vstinner | link | issue39542 pull_requests |
| 2020-02-06 16:01:25 | vstinner | create | |
