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