Merge pull request #7431 from micmac1/mari-up2
authorchamptar <redacted>
Wed, 14 Nov 2018 20:42:15 +0000 (15:42 -0500)
committerGitHub <redacted>
Wed, 14 Nov 2018 20:42:15 +0000 (15:42 -0500)
mariadb: fix build issue


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