Merge pull request #2645 from martin-frbg/misc_fixes
authorMartin Kroeker <martin@ruby.chemie.uni-freiburg.de>
Sun, 7 Jun 2020 17:44:50 +0000 (19:44 +0200)
committerGitHub <noreply@github.com>
Sun, 7 Jun 2020 17:44:50 +0000 (19:44 +0200)
commit89091e6b642162c1de384d031bf07782b96db9a8
tree8de83ad55b6d0ce84b0444be27fd44402b0425bd
parentc3574ffe5301ec2820d584085c0ab1c56b57ad74
parent13c28889a2c9a29ac781e51be747782a71cdaf50
Merge pull request #2645 from martin-frbg/misc_fixes

Miscellaneous fixes