Merge pull request #2240 from martin-frbg/issue2237
authorMartin Kroeker <martin@ruby.chemie.uni-freiburg.de>
Wed, 28 Aug 2019 13:30:53 +0000 (15:30 +0200)
committerGitHub <noreply@github.com>
Wed, 28 Aug 2019 13:30:53 +0000 (15:30 +0200)
commitdb066151ee2bef2f11bd9a3bbab6c06239525e97
tree6f29fa231abb4d34bd905d0aa63bc63e6e2b90ca
parent300f158d3bee3f6cef3d3cb25012a2d00593d673
parent7d380f7d79abe1a8d7ed6efd56efe677135c2415
Merge pull request #2240 from martin-frbg/issue2237

Fix PGI build options (again)