Hello!

Thanks for reporting and the patch!

Since that patch is not about Debian packaging, I suggest you submit it
upstream at https://github.com/mariadb/server branch 10.3 (or latest 10.5).

Reply via email to