Merge pull request #3678 from martin-frbg/issue3677
authorMartin Kroeker <martin@ruby.chemie.uni-freiburg.de>
Tue, 5 Jul 2022 08:40:32 +0000 (10:40 +0200)
committerGitHub <noreply@github.com>
Tue, 5 Jul 2022 08:40:32 +0000 (10:40 +0200)
Eliminate uses of CREAL on left-hand side of assignments


Trivial merge