Merge pull request #3121 from RajalakshmiSR/mmarename
authorMartin Kroeker <martin@ruby.chemie.uni-freiburg.de>
Sat, 27 Feb 2021 18:15:49 +0000 (19:15 +0100)
committerGitHub <noreply@github.com>
Sat, 27 Feb 2021 18:15:49 +0000 (19:15 +0100)
POWER10: Rename mma builtins


Trivial merge