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)
commitc61a7cd293c2bcac8eb54efd6e7d79d43da9d2fd
treea2aa930055bd0be9f215108d5dec2c264f649e31
parent9a48adff3f6e4437b4699c46af83193648183668
parenta8bb5003dec1621657571d0f74e64e8bc56e765b
Merge pull request #1049 from wernsaar/develop

removed blas_thread_shutdown from gensymbol