[debian-mysql] MariaDB 10.1.38 update pending

[Otto Kekäläinen]

Anyway, regardless of what you want to to, the MariaDB 10.1.38 without
any extras is available at
https://salsa.debian.org/mariadb-team/mariadb-10.1/commits/stretch
with everything set for upload if you want to make a security upload.
Gitlab-CI tests pass and it was already uploaded to Ubuntu 18.04 and
no regressions have been found.

If we want to postpone this to next stable update and put in some
extra bugfixing patches, then that is fine by me. Those patches would
go anyway on top of what is in Stretch branch of mariadb-10.1 now.