The upstream bug has been marked as a duplicate of http://bugs.mysql.com/bug.php?id=63144. We should refer to that one in docs when describing the fix.
The upstream bug has been marked as a duplicate of http:// bugs.mysql. com/bug. php?id= 63144. We should refer to that one in docs when describing the fix.