Merge pull request #7411 from micmac1/mari-up
authorchamptar <champetier.etienne@gmail.com>
Tue, 13 Nov 2018 21:16:58 +0000 (16:16 -0500)
committerGitHub <noreply@github.com>
Tue, 13 Nov 2018 21:16:58 +0000 (16:16 -0500)
mariadb: security bump to 10.2.19


Trivial merge