Message193744
If someone pushes a patch and closes the issue and the buildbots break, reopening the issue is the appropriate response. Too much later and the pool of potentially interested people will have changed. Anyway, the new issue is #18539. |
|
Date |
User |
Action |
Args |
2013-07-26 20:47:04 | terry.reedy | set | recipients:
+ terry.reedy, kbk, tzot, ned.deily, ariel_bruner |
2013-07-26 20:47:04 | terry.reedy | set | messageid: <1374871624.9.0.888733661208.issue791968@psf.upfronthosting.co.za> |
2013-07-26 20:47:04 | terry.reedy | link | issue791968 messages |
2013-07-26 20:47:04 | terry.reedy | create | |
|