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)
commit885ca54a75e14a63c375b5d12852dc7ef2c0b568
treee7ade3b6684269f55a38bef3fa2bc068c71457fc
parent22fa3a2759b37094c8bcc02f7de95c00992526c3
parentd92a2863365f7dcb8caf8b6f9535d6a8870e81cb
Merge pull request #1377 from robertovargas-arm/compiler-warnings

Compiler warnings