Merge pull request #6840 from micmac1/maria-10217
authorDirk Brenken <dev@brenken.org>
Wed, 22 Aug 2018 14:54:37 +0000 (16:54 +0200)
committerGitHub <noreply@github.com>
Wed, 22 Aug 2018 14:54:37 +0000 (16:54 +0200)
mariadb: bump to 10.2.17


Trivial merge