History | |||
---|---|---|---|
Date | User | Action | Args |
2019-05-22 16:33:51 | vstinner | set | status: merged -> closed |
2019-05-22 09:28:24 | vstinner | set | status: open -> merged |
2019-05-08 11:03:30 | vstinner | link | issue36829 pull_requests |
2019-05-08 11:03:30 | vstinner | create |
History | |||
---|---|---|---|
Date | User | Action | Args |
2019-05-22 16:33:51 | vstinner | set | status: merged -> closed |
2019-05-22 09:28:24 | vstinner | set | status: open -> merged |
2019-05-08 11:03:30 | vstinner | link | issue36829 pull_requests |
2019-05-08 11:03:30 | vstinner | create |