Merge pull request #1049 from wernsaar/develop
authorWerner Saar <wernsaar@googlemail.com>
Sun, 8 Jan 2017 08:30:19 +0000 (09:30 +0100)
committerGitHub <noreply@github.com>
Sun, 8 Jan 2017 08:30:19 +0000 (09:30 +0100)
removed blas_thread_shutdown from gensymbol


Trivial merge