Just linking a bug in MySQL's bug database to this one.
http://bugs.mysql.com/bug.php?id=13127
Bug watches keep track of this bug in other bug trackers.