Hi! I drafted now the MR for this myself at https://salsa.debian.org/mariadb-team/mariadb-server/-/merge_requests/114
I won't merge it unless at least on other person contributes with testing and review. On Wed, 28 Jun 2023 at 05:17, Otto Kekäläinen <o...@kekalainen.net> wrote: > > Hi Marc! > > Indeed, your suggestion makes sense > > If you want to contribute in the open source way to fix this or any other > issue, see > https://salsa.debian.org/mariadb-team/mariadb-server/-/wikis/Contributing-to-MariaDB-packaging-in-Debian > on how to submit a Merge Request!