Merge pull request #1219 from antonio-nino-diaz-arm/an/mm-version
authordavidcunado-arm <david.cunado@arm.com>
Tue, 16 Jan 2018 01:10:26 +0000 (01:10 +0000)
committerGitHub <noreply@github.com>
Tue, 16 Jan 2018 01:10:26 +0000 (01:10 +0000)
SPM: Fix version header definitions


Trivial merge