This is now fixed upstream:

https://github.com/MariaDB/server/pull/1417

Reply via email to