Merge pull request #11183 from micmac1/master-maria-10.4.12
authorRosen Penev <rosenp@gmail.com>
Fri, 31 Jan 2020 00:29:37 +0000 (16:29 -0800)
committerGitHub <noreply@github.com>
Fri, 31 Jan 2020 00:29:37 +0000 (16:29 -0800)
mariadb: bump to 10.4.12 (CVE fix)


Trivial merge