Merge pull request #1457 from antonio-nino-diaz-arm/an/maintainers
maintainers: Modify format of file
commit d5a0491c811d7e7558c0f7b14c805d804721c854
2 parents d48f193 + 9c9ba0b
@Dimitris Papastamos Dimitris Papastamos authored on 28 Jun 2018
GitHub committed on 28 Jun 2018
Showing 1 changed file
View
maintainers.rst