Created on 2019-03-31 16:46 by blarsen, last changed 2019-04-05 09:46 by vstinner. This issue is now closed.
Pull Requests | |||
---|---|---|---|
URL | Status | Linked | Edit |
PR 12644 | closed | blarsen, 2019-03-31 17:03 |
History | |||
---|---|---|---|
Date | User | Action | Args |
2019-04-05 09:46:15 | vstinner | set | messages: + msg339485 |
2019-04-05 09:45:58 | vstinner | set | status: open -> closed resolution: fixed messages: + msg339484 stage: patch review -> resolved |
2019-03-31 17:03:30 | xtreak | set | nosy:
+ vstinner |
2019-03-31 17:03:06 | blarsen | set | keywords:
+ patch stage: patch review pull_requests: + pull_request12576 |
2019-03-31 16:46:03 | blarsen | create |