Merge pull request #3223 from martin-frbg/develop
authorMartin Kroeker <martin@ruby.chemie.uni-freiburg.de>
Fri, 7 May 2021 06:51:45 +0000 (08:51 +0200)
committerGitHub <noreply@github.com>
Fri, 7 May 2021 06:51:45 +0000 (08:51 +0200)
Use percent instead of ampersand as placeholder for substitutions


Trivial merge