Destroying a locked mutex is undefined behaviour#13

pointhi wants to merge 1 commit intombrossard:mastermbrossard/threadpool:masterfrom

pointhi:threadpool_mutex_fixpointhi/threadpool:threadpool_mutex_fixCopy head branch name to clipboard