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