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 af0fa9f53e1..57952ada5e8 100644 --- a/MAINTAINERS +++ b/MAINTAINERS @@ -290,6 +290,7 @@ Giovanni Bajo giovannibajo@gcc.gnu.org Simon Baldwin simonb@google.com Scott Bambrough scottb@netwinder.org Wolfgang Bangerth bangerth@dealii.org +Tejas Belagod tejas.belagod@arm.com Andrey Belevantsev abel@ispras.ru Jon Beniston jon@beniston.com Peter Bergner bergner@vnet.ibm.com |