History | |||
---|---|---|---|
Date | User | Action | Args |
2020-12-14 21:40:42 | vstinner | set | status: open -> merged |
2020-12-14 21:18:56 | vstinner | link | issue42639 pull_requests |
2020-12-14 21:18:56 | vstinner | create |
History | |||
---|---|---|---|
Date | User | Action | Args |
2020-12-14 21:40:42 | vstinner | set | status: open -> merged |
2020-12-14 21:18:56 | vstinner | link | issue42639 pull_requests |
2020-12-14 21:18:56 | vstinner | create |