3 ms·

I wondered that. I thought the bug had been around for a while; I suppose the morning checkin was a failed fix for the pre-existing bug.