13 Oct
2008
13 Oct
'08
6:35 a.m.
Well. It is definately a bug, the optimization is actually useful normally, though.