24 Nov
2010
24 Nov
'10
11:02 p.m.
Right, this was subsequently fixed in MySQL in http://lists.mysql.com/commits/118824
Yes, I noticed that too late.