This is the mail archive of the
gdb-patches@sourceware.org
mailing list for the GDB project.
Re: [RFA] Update server name from sources.redhat.com to sourceware.org
- From: Eli Zaretskii <eliz at gnu dot org>
- To: Pierre Muller <muller at ics dot u-strasbg dot fr>
- Cc: gdb-patches at sourceware dot org
- Date: Tue, 14 Apr 2009 20:05:57 +0300
- Subject: Re: [RFA] Update server name from sources.redhat.com to sourceware.org
- References: <006701c9bd19$7b25d9c0$71718d40$@u-strasbg.fr>
- Reply-to: Eli Zaretskii <eliz at gnu dot org>
> From: "Pierre Muller" <muller@ics.u-strasbg.fr>
> Cc: <gdb-patches@sourceware.org>
> Date: Tue, 14 Apr 2009 17:55:49 +0200
>
> I don't think that there are reasons to keep the old
> server name in gdbint.texinfo.
None whatsoever.
> gdb/doc/ChangeLog entry
>
> 2009-04-14 Pierre Muller <muller@ics.u-strasbg.fr>
>
> * gdbint.texinfo: Change server name from sources.redhat.com to
> sourceware.org throughout.
Thanks, this is fine.