Merge pull request #12 from xianyi/develop
authorMartin Kroeker <martin@ruby.chemie.uni-freiburg.de>
Thu, 24 Oct 2019 16:40:13 +0000 (18:40 +0200)
committerGitHub <noreply@github.com>
Thu, 24 Oct 2019 16:40:13 +0000 (18:40 +0200)
resync with upstream


Trivial merge