Created on 2017-12-30 09:37 by christian.heimes, last changed 2018-01-27 08:57 by christian.heimes. This issue is now closed.
Pull Requests | |||
---|---|---|---|
URL | Status | Linked | Edit |
PR 5048 | merged | christian.heimes, 2017-12-30 09:42 |
History | |||
---|---|---|---|
Date | User | Action | Args |
2018-01-27 08:57:21 | christian.heimes | set | status: open -> closed resolution: fixed stage: patch review -> resolved |
2018-01-27 08:54:15 | christian.heimes | set | messages: + msg310850 |
2017-12-30 11:56:20 | pitrou | set | nosy:
+ paul.moore, tim.golden, zach.ware, steve.dower |
2017-12-30 09:42:06 | christian.heimes | set | keywords:
+ patch stage: patch review pull_requests: + pull_request4930 |
2017-12-30 09:37:23 | christian.heimes | create |