Created on 2020-07-01 16:49 by serhiy.storchaka, last changed 2020-07-12 16:14 by serhiy.storchaka. This issue is now closed.
Pull Requests | |||
---|---|---|---|
URL | Status | Linked | Edit |
PR 21264 | merged | serhiy.storchaka, 2020-07-01 16:51 |
History | |||
---|---|---|---|
Date | User | Action | Args |
2020-07-12 16:14:39 | serhiy.storchaka | set | status: open -> closed resolution: fixed stage: patch review -> resolved |
2020-07-01 18:53:15 | serhiy.storchaka | set | messages: + msg372784 |
2020-07-01 16:51:34 | serhiy.storchaka | set | keywords:
+ patch stage: patch review pull_requests: + pull_request20412 |
2020-07-01 16:49:25 | serhiy.storchaka | create |