diff options
Diffstat (limited to 'gdb/MAINTAINERS')
| -rw-r--r-- | gdb/MAINTAINERS | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gdb/MAINTAINERS b/gdb/MAINTAINERS index 67e00f6..67d1168 100644 --- a/gdb/MAINTAINERS +++ b/gdb/MAINTAINERS @@ -572,6 +572,7 @@ Mark Kettenis kettenis@gnu.org Marc Khouzam marc.khouzam@ericsson.com Toshihito Kikuchi k.toshihito@yahoo.de Jim Kingdon kingdon@panix.com +Anton Kolesov anton.kolesov@synopsys.com Paul Koning paul_koning@dell.com Marcin Kościelnicki koriakin@0x04.net Jan Kratochvil jan.kratochvil@redhat.com |