Merge pull request #1377 from robertovargas-arm/compiler-warnings
authorDimitris Papastamos <dimitris.papastamos@arm.com>
Wed, 9 May 2018 12:40:35 +0000 (13:40 +0100)
committerGitHub <noreply@github.com>
Wed, 9 May 2018 12:40:35 +0000 (13:40 +0100)
Compiler warnings


Trivial merge