Re: [Maria-developers] Help request: Contribute to MariaDB 10.3 in Debian efforts

I see the tradition of collecting a number of non-upstream patches with limited descriptions continues: https://salsa.debian.org/mariadb-team/mariadb-10.3/tree/master/debian/patche... It would be good to see these submitted upstream... some of which are obsolete by outstanding PRs so confirming the suitability of these would be appreciated: https://github.com/MariaDB/server/pull/979 https://github.com/MariaDB/server/pull/597 https://github.com/MariaDB/server/pull/510 There are other PRs that aim to fix other broken aspects of Debian packaging: https://github.com/MariaDB/server/pull/843 https://github.com/MariaDB/server/pull/605 https://github.com/MariaDB/server/pull/530 https://github.com/MariaDB/server/pull/528