Message316626
> Or just remove it
I updated the PR to do that.
I didn't want to propose that initially because that patch was proposed here almost 2 years ago but not accepted. |
|
Date |
User |
Action |
Args |
2018-05-15 06:27:06 | jdemeyer | set | recipients:
+ jdemeyer, zooko, tarek, Jason.Grout, GooseYArd, vokoda, serhiy.storchaka |
2018-05-15 06:27:06 | jdemeyer | set | messageid: <1526365626.05.0.682650639539.issue5755@psf.upfronthosting.co.za> |
2018-05-15 06:27:06 | jdemeyer | link | issue5755 messages |
2018-05-15 06:27:06 | jdemeyer | create | |
|