Merge pull request #1225 from martin-frbg/stolen_from_wernsaar_fork
authorZhang Xianyi <traits.zhang@gmail.com>
Fri, 7 Jul 2017 07:43:33 +0000 (15:43 +0800)
committerGitHub <noreply@github.com>
Fri, 7 Jul 2017 07:43:33 +0000 (15:43 +0800)
fixed syrk_thread.c taken from wernsaar


Trivial merge