Message293646
> Do I need to create a pull request for this?
Yes, creating a PR is part of the current workflow since we moved to GitHub. Though that's not the reason why it's not been progressed - on my part, at least, it's due to not having had time to think through the implications of this change. |
|
Date |
User |
Action |
Args |
2017-05-14 13:11:22 | vinay.sajip | set | recipients:
+ vinay.sajip, eric.smith, robodan, ned.deily, ezio.melotti, eric.araujo, r.david.murray, cvrebert, python-dev, Andrey.Kislyuk, Gustavo Goretkin, evan_ |
2017-05-14 13:11:22 | vinay.sajip | set | messageid: <1494767482.92.0.0804704945172.issue28595@psf.upfronthosting.co.za> |
2017-05-14 13:11:22 | vinay.sajip | link | issue28595 messages |
2017-05-14 13:11:22 | vinay.sajip | create | |
|