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)
commit36f771585957ea5056a47a1f4816e120866f34ef
treedd004e7f735453acf9872be9deb8fba8401e084b
parent40e35d14eb5c553d29281757130b400225334e5c
parenta6761ac20b158b9e7936a9339e85e1065505f978
Merge pull request #6840 from micmac1/maria-10217

mariadb: bump to 10.2.17
git clone https://git.99rst.org/PROJECT