Message307716
It isn't good to have "-X dev" do magical things that can't already be replicated with other options.
If we want "-bb" to take precedence over the passed in "-W" settings (which I agree would be a reasonable change), we should make that change universally, not restrict it to "-X dev". |
|
Date |
User |
Action |
Args |
2017-12-06 10:37:12 | ncoghlan | set | recipients:
+ ncoghlan, vstinner |
2017-12-06 10:37:12 | ncoghlan | set | messageid: <1512556632.15.0.213398074469.issue32230@psf.upfronthosting.co.za> |
2017-12-06 10:37:12 | ncoghlan | link | issue32230 messages |
2017-12-06 10:37:12 | ncoghlan | create | |
|