> Cc: gcc-patches@gcc.gnu.org, dj@redhat.com, gdb-patches@sources.redhat.com > From: Ian Lance Taylor <iant@google.com> > Date: Tue, 14 Apr 2009 07:55:36 -0700 > > (By the way, sources.redhat.com is the old name. sourceware.org is > preferred.) OK, I switched my scripts to use that one instead.