Merge pull request #7379 from micmac1/maria-pthread-detach
authorchamptar <champetier.etienne@gmail.com>
Sun, 11 Nov 2018 01:39:11 +0000 (20:39 -0500)
committerGitHub <noreply@github.com>
Sun, 11 Nov 2018 01:39:11 +0000 (20:39 -0500)
mariadb: fix pthread_detach


Trivial merge