Upstream fix for http://bugs.mysql.com/bug.php?id=63451 has done effectively the same, closing as fixed.
Upstream fix for http:// bugs.mysql. com/bug. php?id= 63451 has done effectively the same, closing as fixed.