Additional upstream bug reported (including suggested patches) https://bugs.mysql.com/bug.php?id=87518
Additional upstream bug reported (including suggested patches) /bugs.mysql. com/bug. php?id= 87518
https:/