krakjoe/pthreads — pull request #382 by 2072 (2014-11-18 18:33:24+00:00)
Title: fix #374 without a new copy/paste mistake

and with tabs instead of spaces for indentation...