in reply to Re^3: Subtle timing bug?in thread Subtle timing bug?
Actually it was announced on 2007-05-03, although the change was made on 2007-05-01.