Merge pull request #3310 from jeromerobert/develop
authorMartin Kroeker <martin@ruby.chemie.uni-freiburg.de>
Wed, 14 Jul 2021 14:06:13 +0000 (16:06 +0200)
committerGitHub <noreply@github.com>
Wed, 14 Jul 2021 14:06:13 +0000 (16:06 +0200)
Avoid redefinition of _GNU_SOURCE


Trivial merge