Created on 2019-04-09 15:30 by christian.heimes, last changed 2019-04-09 16:47 by christian.heimes. This issue is now closed.
Pull Requests | |||
---|---|---|---|
URL | Status | Linked | Edit |
PR 12746 | merged | christian.heimes, 2019-04-09 15:35 |
History | |||
---|---|---|---|
Date | User | Action | Args |
2019-04-09 16:47:44 | christian.heimes | set | status: open -> closed type: behavior resolution: fixed stage: patch review -> resolved |
2019-04-09 16:40:14 | miss-islington | set | nosy:
+ miss-islington messages: + msg339775 |
2019-04-09 15:35:05 | christian.heimes | set | keywords:
+ patch stage: patch review pull_requests: + pull_request12672 |
2019-04-09 15:30:25 | christian.heimes | create |