<div dir="ltr"><div>Hello!</div><div><br></div><div>Thanks for reporting and the patch!</div><div><br></div><div>Since that patch is not about Debian packaging, I suggest you submit it upstream at <a href="https://github.com/mariadb/server">https://github.com/mariadb/server</a> branch 10.3 (or latest 10.5).</div><div><br></div></div>