Merge pull request #13640 from neheb/mar
authorRosen Penev <redacted>
Mon, 12 Oct 2020 07:56:07 +0000 (00:56 -0700)
committerGitHub <redacted>
Mon, 12 Oct 2020 07:56:07 +0000 (00:56 -0700)
mariadb: fix compilation when selinux is present


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