Skip to content

[3/3] Improve reporting for pthreads errors

Extracted verbatim from !5631 (closed)

Closes #3054 (closed)

Merge request reports