tree 2193a07dbedc419004e3ecb108ba67a6fbea8b9a
parent 1a6feae87a598efdf355db6b40b225d4006f2ea4
parent 21a05e1ee2c2eaf85e6e57c6f75d34cbd4290b97
author Dimitris Papastamos <dimitris.papastamos@arm.com> 1530193773 +0100
committer GitHub <noreply@github.com> 1530193773 +0100

Merge pull request #1457 from antonio-nino-diaz-arm/an/maintainers

maintainers: Modify format of file