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 |