Merge pull request #1168 from palmtenor/fixso
authorBrenden Blanco <bblanco@gmail.com>
Fri, 12 May 2017 00:44:05 +0000 (17:44 -0700)
committerGitHub <noreply@github.com>
Fri, 12 May 2017 00:44:05 +0000 (17:44 -0700)
Fix bug when finding symbols for shared libraries


Trivial merge