Message293970
I'd be wary of leaving out of date registry entries around. Maybe make it a separate script (or part of build.bat but requiring a command line flag to request it)?
Alternatively (or as well) we could have a cleanup command that removes registry entries for working builds that are no longer wanted. Of course you can handle this by manually editing the registry - but the same could equally be said of the original request... |
|
Date |
User |
Action |
Args |
2017-05-19 19:52:33 | paul.moore | set | recipients:
+ paul.moore, terry.reedy, vstinner, tim.golden, ezio.melotti, zach.ware, steve.dower |
2017-05-19 19:52:33 | paul.moore | set | messageid: <1495223553.63.0.399087666571.issue30405@psf.upfronthosting.co.za> |
2017-05-19 19:52:33 | paul.moore | link | issue30405 messages |
2017-05-19 19:52:33 | paul.moore | create | |
|