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 9309c397beb..994bb537a43 100644 --- a/MAINTAINERS +++ b/MAINTAINERS @@ -255,6 +255,7 @@ Ian Taylor ian@zembu.com Michael Tiemann tiemann@redhat.com Philipp Thomas pthomas@suse.de Kresten Krab Thorup krab@gcc.gnu.org +Andreas Tobler andreast@gcc.gnu.org Jonathan Wakely redi@gcc.gnu.org Krister Walfridsson cato@df.lth.se John Wehle john@feith.com |