On Fri, Jun 20, 2025 at 03:51:42PM +0200, Theo Buehler wrote:
> Also, we seem to be missing a bunch of pthread_*_destroy() calls.

All the mutexes and condition variables are statically initialized
(using PTHREAD_MUTEX_INITIALIZER & PTHREAD_COND_INITIALIZER), as I
understand it one doesn't need to reset those with pthread_*_destroy().

Kind regards,

Job