On Wed, Jun 15, 2022 at 3:36 PM Martijn Tonies (Upscene Productions) < m.ton...@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.
_______________________________________________ Mailing list: https://launchpad.net/~maria-developers Post to : maria-developers@lists.launchpad.net Unsubscribe : https://launchpad.net/~maria-developers More help : https://help.launchpad.net/ListHelp
