Message326163
Thanks for the patch since the current workflow uses GitHub PR the patch can be made as a PR to move it forward. It seems there are some conflicts as I tried to apply the attached patch against latest master.
Thanks |
|
Date |
User |
Action |
Args |
2018-09-23 16:13:17 | xtreak | set | recipients:
+ xtreak, r.david.murray, martin.panter, The Compiler, willingc, Nan Wu, Jonas Thiem |
2018-09-23 16:13:17 | xtreak | set | messageid: <1537719197.19.0.956365154283.issue25567@psf.upfronthosting.co.za> |
2018-09-23 16:13:17 | xtreak | link | issue25567 messages |
2018-09-23 16:13:17 | xtreak | create | |
|