Merge pull request #1835 from jts-arm/rename
authorAntonio Niño Díaz <antonio.ninodiaz@arm.com>
Fri, 22 Feb 2019 13:05:37 +0000 (13:05 +0000)
committerGitHub <noreply@github.com>
Fri, 22 Feb 2019 13:05:37 +0000 (13:05 +0000)
Apply official names to new Arm Neoverse cores


Trivial merge