Message200972
If the buildbot is still green, can you close this? I don't think it's worth trying to formulate and test a more precise theory about the root cause, given that it's most likely a platform bug anyway. |
|
Date |
User |
Action |
Args |
2013-10-22 16:57:33 | gvanrossum | set | recipients:
+ gvanrossum, ned.deily |
2013-10-22 16:57:33 | gvanrossum | set | messageid: <1382461053.11.0.545390631395.issue19294@psf.upfronthosting.co.za> |
2013-10-22 16:57:33 | gvanrossum | link | issue19294 messages |
2013-10-22 16:57:32 | gvanrossum | create | |
|