Merge pull request #1473 from robertovargas-arm/misra
authorDimitris Papastamos <dimitris.papastamos@arm.com>
Wed, 11 Jul 2018 12:15:52 +0000 (13:15 +0100)
committerGitHub <noreply@github.com>
Wed, 11 Jul 2018 12:15:52 +0000 (13:15 +0100)
Misra


Trivial merge