History | |||
---|---|---|---|
Date | User | Action | Args |
2019-03-19 17:22:58 | vstinner | set | status: open -> merged |
2019-03-19 15:24:35 | vstinner | link | issue36236 pull_requests |
2019-03-19 15:24:35 | vstinner | create |
History | |||
---|---|---|---|
Date | User | Action | Args |
2019-03-19 17:22:58 | vstinner | set | status: open -> merged |
2019-03-19 15:24:35 | vstinner | link | issue36236 pull_requests |
2019-03-19 15:24:35 | vstinner | create |