On Tuesday, 2 April 2013 at 00:10:51 UTC, H. S. Teoh wrote: > So reopen it. bearophile already did. I just wanted the dust to settle, to see if there was consensus about it being a bug.