Merge pull request #2891 from martin-frbg/fix-2886
authorMartin Kroeker <martin@ruby.chemie.uni-freiburg.de>
Tue, 13 Oct 2020 11:46:17 +0000 (13:46 +0200)
committerGitHub <noreply@github.com>
Tue, 13 Oct 2020 11:46:17 +0000 (13:46 +0200)
Fix several bugs and omissions from the BFLOAT16 rename


Trivial merge