Merge pull request #6301 from micmac1/mariadb-up-102
authorHannu Nyman <hannu.nyman@iki.fi>
Tue, 3 Jul 2018 16:28:49 +0000 (19:28 +0300)
committerGitHub <noreply@github.com>
Tue, 3 Jul 2018 16:28:49 +0000 (19:28 +0300)
mariadb: bump to 10.2 release series


Trivial merge