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 cb09ec805dd..3215169ffdd 100644 --- a/MAINTAINERS +++ b/MAINTAINERS @@ -254,6 +254,7 @@ Mumit Khan khan@xraylith.wisc.edu Matthias Klose doko@debian.org Jeff Knaggs jknaggs@redhat.com Michael Koch konqueror@gmx.de +Thomas Koenig Thomas.Koenig@online.de Matt Kraai kraai@ftbfs.org Scott Robert Ladd scott.ladd@coyotegulch.com Razya Ladelsky razya@gcc.gnu.org |