Merge pull request #1036 from jeenu-arm/fix-ordering
authordavidcunado-arm <david.cunado@arm.com>
Mon, 31 Jul 2017 13:27:19 +0000 (14:27 +0100)
committerGitHub <noreply@github.com>
Mon, 31 Jul 2017 13:27:19 +0000 (14:27 +0100)
Fix alphabetic ordering


Trivial merge