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)
Fix PGI build options (again)


Trivial merge