Merge pull request #2943 from xianyi/develop
authorMartin Kroeker <martin@ruby.chemie.uni-freiburg.de>
Sat, 24 Oct 2020 10:52:59 +0000 (12:52 +0200)
committerGitHub <noreply@github.com>
Sat, 24 Oct 2020 10:52:59 +0000 (12:52 +0200)
Merge from develop for 0.3.12 release


Trivial merge