diff options
| -rw-r--r-- | MAINTAINERS | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/MAINTAINERS b/MAINTAINERS index cb09ec8..3215169 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 |