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 49aa6ba..a8bb43f 100644 --- a/MAINTAINERS +++ b/MAINTAINERS @@ -332,6 +332,7 @@ David Ayers <ayers@fsfe.org> Prakhar Bahuguna <prakhar.bahuguna@arm.com> Giovanni Bajo <giovannibajo@gcc.gnu.org> Simon Baldwin <simonb@google.com> +Richard Ball <richard.ball@arm.com> Scott Bambrough <scottb@netwinder.org> Wolfgang Bangerth <bangerth@dealii.org> Gergö Barany <gergo@codesourcery.com> |