Merge pull request #1920 from ambroise-arm/av/deprecated
authorAntonio Niño Díaz <antonio.ninodiaz@arm.com>
Thu, 4 Apr 2019 08:29:22 +0000 (09:29 +0100)
committerGitHub <noreply@github.com>
Thu, 4 Apr 2019 08:29:22 +0000 (09:29 +0100)
Remove deprecated interfaces


Trivial merge