Merge pull request #11184 from micmac1/19.07-maria-10.2.31
authorRosen Penev <rosenp@gmail.com>
Fri, 31 Jan 2020 00:30:01 +0000 (16:30 -0800)
committerGitHub <noreply@github.com>
Fri, 31 Jan 2020 00:30:01 +0000 (16:30 -0800)
[19.07] mariadb: security bump to 10.2.31


Trivial merge