It looks like this was fixed upstream in a slightly different way.

https://github.com/MariaDB/server/commit/b02ad4a6f8ea09c5cdf0a44a9ee57a60f2989f48

Reply via email to