3 ms·Oh yes, we should: https://bugs.mysql.com/bug.php?id=76927 https://bugs.mysql.com/bug.php?id=76927by kaamos 11y agoOh yes, we should: https://bugs.mysql.com/bug.php?id=76927 https://bugs.mysql.com/bug.php?id=76927