[RFA] Update server name from sources.redhat.com to sourceware.org

[Eli Zaretskii]

> 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.