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: "Pierre Muller" <muller at ics dot u-strasbg dot fr>
- To: "'Eli Zaretskii'" <eliz at gnu dot org>
- Cc: <gdb-patches at sourceware dot org>
- Date: Tue, 14 Apr 2009 20:25:28 +0200
- Subject: RE: [RFA] Update server name from sources.redhat.com to sourceware.org
- References: <006701c9bd19$7b25d9c0$71718d40$@u-strasbg.fr> <83ocuzmah6.fsf@gnu.org>
Thanks, patch is committed.
Pierre Muller
Pascal language support maintainer for GDB
> -----Message d'origine-----
> De?: gdb-patches-owner@sourceware.org [mailto:gdb-patches-
> owner@sourceware.org] De la part de Eli Zaretskii
> Envoyé?: Tuesday, April 14, 2009 7:06 PM
> À?: Pierre Muller
> Cc?: gdb-patches@sourceware.org
> Objet?: Re: [RFA] Update server name from sources.redhat.com to
> sourceware.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.