Merge pull request #7379 from micmac1/maria-pthread-detach
authorchamptar <redacted>
Sun, 11 Nov 2018 01:39:11 +0000 (20:39 -0500)
committerGitHub <redacted>
Sun, 11 Nov 2018 01:39:11 +0000 (20:39 -0500)
mariadb: fix pthread_detach


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