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)
commit9f0f203d7e180480e95f5a261125a96dee1d65e4
treee6716a4b5dde3282a08de2b534d49add178d6918
parentfe77b53e32692fc5d35df208e2b3d21a28f6228b
parent234bc7f88ed42a5305016009c47e8a6dc3408f96
Merge pull request #1756 from antonio-nino-diaz-arm/an/header-deps

plat/arm: Fix header dependencies