7 Apr
2009
7 Apr
'09
5:45 p.m.
We'll know in a while if it fixes anything. There are many thousands of CPU hours between each crash of this kind.
Indeed the origin of this is interesting, but the amount of CPU that has to be burned to hit it makes it comlicated to track down. Top men are working on it.