Merge pull request #1756 from antonio-nino-diaz-arm/an/header-deps
authorAntonio Niño Díaz <antonio.ninodiaz@arm.com>
Wed, 16 Jan 2019 10:43:18 +0000 (10:43 +0000)
committerGitHub <noreply@github.com>
Wed, 16 Jan 2019 10:43:18 +0000 (10:43 +0000)
plat/arm: Fix header dependencies


Trivial merge