Merge pull request #12497 from micmac1/mar-reorder
authorRosen Penev <redacted>
Sat, 13 Jun 2020 21:31:03 +0000 (14:31 -0700)
committerGitHub <redacted>
Sat, 13 Jun 2020 21:31:03 +0000 (14:31 -0700)
mariadb: move some binaries


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