diff options
| -rw-r--r-- | MAINTAINERS | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/MAINTAINERS b/MAINTAINERS index a8033c0..1b040ec 100644 --- a/MAINTAINERS +++ b/MAINTAINERS @@ -113,6 +113,7 @@ Alex Samuel samuel@codesourcery.com Bernd Schmidt crux@pool.informatik.rwth-aachen.de Andreas Schwab schwab@issan.informatik.uni-dortmund.de Nathan Sidwell nathan@acm.org +Franz Sirl franz.sirl-kernel@lauterbach.com Mike Stump mrs@windriver.com Tom Tromey tromey@cygnus.com John Wehle john@feith.com |