Merge pull request #7431 from micmac1/mari-up2
authorchamptar <champetier.etienne@gmail.com>
Wed, 14 Nov 2018 20:42:15 +0000 (15:42 -0500)
committerGitHub <noreply@github.com>
Wed, 14 Nov 2018 20:42:15 +0000 (15:42 -0500)
commita694df10d583115f735339f706e547a7973a4e98
tree02831d3336d225c3d81176f8247265769f58a5a4
parente9f055f67978265dc8b4b8470d9c2891e3a5879e
parent470ee2d94b500dbfe6e9df88aa569647f2d7fd78
Merge pull request #7431 from micmac1/mari-up2

mariadb: fix build issue