Created on 2020-07-18 14:33 by serhiy.storchaka, last changed 2020-07-19 06:19 by serhiy.storchaka. This issue is now closed.
Pull Requests | |||
---|---|---|---|
URL | Status | Linked | Edit |
PR 21534 | merged | serhiy.storchaka, 2020-07-18 14:34 |
History | |||
---|---|---|---|
Date | User | Action | Args |
2020-07-19 06:19:41 | serhiy.storchaka | set | status: open -> closed resolution: fixed stage: patch review -> resolved |
2020-07-19 06:19:06 | serhiy.storchaka | set | messages: + msg373933 |
2020-07-18 14:34:09 | serhiy.storchaka | set | keywords:
+ patch stage: patch review pull_requests: + pull_request20672 |
2020-07-18 14:33:13 | serhiy.storchaka | create |