Merge pull request #6840 from micmac1/maria-10217
authorDirk Brenken <redacted>
Wed, 22 Aug 2018 14:54:37 +0000 (16:54 +0200)
committerGitHub <redacted>
Wed, 22 Aug 2018 14:54:37 +0000 (16:54 +0200)
mariadb: bump to 10.2.17


Trivial merge
git clone https://git.99rst.org/PROJECT