Message287788
PR merged; thank you!
Unfortunately, just after I merged it I noticed that the Misc/NEWS entry was in the wrong section. I'll make a new PR to fix that, and close this issue once it's done. |
|
Date |
User |
Action |
Args |
2017-02-14 18:30:29 | mark.dickinson | set | recipients:
+ mark.dickinson, arigo, rhettinger, skrah, andrewnester |
2017-02-14 18:30:29 | mark.dickinson | set | messageid: <1487097029.04.0.531644773387.issue29534@psf.upfronthosting.co.za> |
2017-02-14 18:30:29 | mark.dickinson | link | issue29534 messages |
2017-02-14 18:30:28 | mark.dickinson | create | |
|