diff options
Diffstat (limited to 'MAINTAINERS')
-rw-r--r-- | MAINTAINERS | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/MAINTAINERS b/MAINTAINERS index 0a9eba39a1a..4f3ee0cdc51 100644 --- a/MAINTAINERS +++ b/MAINTAINERS @@ -370,6 +370,7 @@ Pompapathi V Gadad Pompapathi.V.Gadad@nsc.com Kaveh Ghazi ghazi@gcc.gnu.org Matthew Gingell gingell@gnat.com Tristan Gingold gingold@adacore.com +Marc Glisse marc.glisse@inria.fr Anthony Green green@redhat.com Doug Gregor doug.gregor@gmail.com Matthew Gretton-Dann matthew.gretton-dann@arm.com |