Merge pull request #1806 from thomas-arm/master
authorAntonio Niño Díaz <antonio.ninodiaz@arm.com>
Tue, 5 Feb 2019 11:31:05 +0000 (11:31 +0000)
committerGitHub <noreply@github.com>
Tue, 5 Feb 2019 11:31:05 +0000 (11:31 +0000)
sgi/sgm: add a second maintainer for Arm's SGI and SGM platforms

1  2 
maintainers.rst

diff --cc maintainers.rst
Simple merge