Created on 2018-01-19 13:48 by christian.heimes, last changed 2018-01-20 12:21 by christian.heimes. This issue is now closed.
Pull Requests | |||
---|---|---|---|
URL | Status | Linked | Edit |
PR 5242 | merged | christian.heimes, 2018-01-19 13:52 |
History | |||
---|---|---|---|
Date | User | Action | Args |
2018-02-25 20:18:40 | christian.heimes | link | issue21541 superseder |
2018-01-20 12:21:53 | christian.heimes | set | status: open -> closed resolution: fixed messages: + msg310339 stage: patch review -> resolved |
2018-01-20 12:19:23 | christian.heimes | set | messages: + msg310338 |
2018-01-19 13:52:19 | christian.heimes | set | keywords:
+ patch stage: patch review pull_requests: + pull_request5090 |
2018-01-19 13:48:26 | christian.heimes | create |