Merge pull request #43 from martin-frbg/revert-42-z12ci
authorMartin Kroeker <martin@ruby.chemie.uni-freiburg.de>
Sat, 4 Apr 2020 20:46:58 +0000 (22:46 +0200)
committerGitHub <noreply@github.com>
Sat, 4 Apr 2020 20:46:58 +0000 (22:46 +0200)
Revert 42 z12ci to keep forked develop clean


Trivial merge