On Wed, Jun 15, 2022 at 3:36 PM Martijn Tonies (Upscene Productions) <m.tonies@upscene.com> wrote:

Here's another one that MariaDB could fix ;)

Or anyone that can contribute.
 
https://bugs.mysql.com/bug.php?id=11082

Can you please create an issue in our bug tracker. While we'll occasionally search bugs.mysql.com, its not tracked.