This is the mail archive of the gdb-patches@sourceware.org mailing list for the GDB project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

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.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]