Merge pull request #2038 from martin-frbg/issue2035
authorMartin Kroeker <martin@ruby.chemie.uni-freiburg.de>
Mon, 4 Mar 2019 14:07:48 +0000 (15:07 +0100)
committerGitHub <noreply@github.com>
Mon, 4 Mar 2019 14:07:48 +0000 (15:07 +0100)
Improve handling of NO_STATIC and NO_SHARED


Trivial merge