Merge pull request #8881 from micmac1/maria_10.1.39
authorRosen Penev <rosenp@gmail.com>
Fri, 3 May 2019 16:39:07 +0000 (09:39 -0700)
committerGitHub <noreply@github.com>
Fri, 3 May 2019 16:39:07 +0000 (09:39 -0700)
(18.06) mariadb: bump to 10.1.39


Trivial merge