Merge pull request #13 from xianyi/develop
authorMartin Kroeker <martin@ruby.chemie.uni-freiburg.de>
Sun, 3 Nov 2019 21:33:31 +0000 (22:33 +0100)
committerGitHub <noreply@github.com>
Sun, 3 Nov 2019 21:33:31 +0000 (22:33 +0100)
resync with upstream


Trivial merge