Merge pull request #1292 from danh-arm/dh/spurious-dep-warn
authordavidcunado-arm <david.cunado@arm.com>
Sat, 3 Mar 2018 13:26:18 +0000 (13:26 +0000)
committerGitHub <noreply@github.com>
Sat, 3 Mar 2018 13:26:18 +0000 (13:26 +0000)
 Suppress spurious deprecated declaration warnings


Trivial merge