Hi! I turned Helmut's patch into https://salsa.debian.org/mariadb-team/mariadb-server/-/merge_requests/38 now and all test runs pass. Feel free to add your approval to the MR. Helmut - could you please submit this upstream at https://github.com/MariaDB/server/ so you the the credits in git for writing the fix?