21 Oct
2011
21 Oct
'11
2:01 p.m.
Not reproduced in r10660 on Ubuntu 11.10 64-bit (but built on Ubuntu 11.04, before upgrade) or r10686 (entirely fresh build from clean tree).