Merge pull request #8948 from micmac1/maria10224
authorRosen Penev <rosenp@gmail.com>
Sat, 11 May 2019 04:37:35 +0000 (21:37 -0700)
committerGitHub <noreply@github.com>
Sat, 11 May 2019 04:37:35 +0000 (21:37 -0700)
mariadb: security bump + init script brush-up


Trivial merge