diff options
Diffstat (limited to 'gdb/MAINTAINERS')
| -rw-r--r-- | gdb/MAINTAINERS | 11 |
1 files changed, 7 insertions, 4 deletions
diff --git a/gdb/MAINTAINERS b/gdb/MAINTAINERS index 5a17456..08e0ceb 100644 --- a/gdb/MAINTAINERS +++ b/gdb/MAINTAINERS @@ -317,10 +317,13 @@ Jeff Holcomb jeffh@redhat.com David Smith dsmith@redhat.com -* Indicates folks we need to get Kerberos/SSH accounts ready so they -can write in the source tree +Folks that have been caught up in a paper trail: +Jim Kingdon jkingdon@engr.sgi.com +Paul Hilfinger hilfingr@gnat.com (*) +Philip Blundell philb@gnu.org (*) -++ Folks that have been caught up in a paper trail: +-- -Jim Kingdon jkingdon@engr.sgi.com +(*) Indicates folks that don't have a Kerberos/SSH account in the GDB +group. |