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).
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).