Message298691
However, our general policy is that we don't make such changes unless we are also touching the code for other reasons. So I think using this PR as a base for your feature PRs, and then committing everything together if they are accepted, would be the way to go. I don't know if it would work to actually use it as a base for the other PRs in github, or if it would work better to just make it the initial commit in a commit series. The github workflow is too new for us to have definite answers to such questions :) |
|
Date |
User |
Action |
Args |
2017-07-19 22:06:11 | r.david.murray | set | recipients:
+ r.david.murray, dhimmel |
2017-07-19 22:06:11 | r.david.murray | set | messageid: <1500501971.33.0.781056542583.issue30971@psf.upfronthosting.co.za> |
2017-07-19 22:06:11 | r.david.murray | link | issue30971 messages |
2017-07-19 22:06:11 | r.david.murray | create | |
|