Merge pull request #1736 from antonio-nino-diaz-arm/an/maintainers
authorAntonio Niño Díaz <antonio.ninodiaz@arm.com>
Tue, 8 Jan 2019 09:10:22 +0000 (09:10 +0000)
committerGitHub <noreply@github.com>
Tue, 8 Jan 2019 09:10:22 +0000 (09:10 +0000)
maintainers: Fix path of Marvell documentation


Trivial merge