From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gdb-patches-return-62870-listarch-gdb-patches=sources.redhat.com@sourceware.org>
Received: (qmail 32095 invoked by alias); 14 Apr 2009 17:06:01 -0000
Received: (qmail 31913 invoked by uid 22791); 14 Apr 2009 17:06:00 -0000
X-SWARE-Spam-Status: No, hits=2.4 required=5.0 	tests=AWL,BAYES_50,BOTNET,SPF_SOFTFAIL
X-Spam-Check-By: sourceware.org
Received: from mtaout1.012.net.il (HELO mtaout1.012.net.il) (84.95.2.1)     by sourceware.org (qpsmtpd/0.43rc1) with ESMTP; Tue, 14 Apr 2009 17:05:53 +0000
Received: from conversion-daemon.i-mtaout1.012.net.il by i-mtaout1.012.net.il (HyperSendmail v2007.08) id <0KI300600OJXJE00@i-mtaout1.012.net.il> for gdb-patches@sourceware.org; Tue, 14 Apr 2009 20:05:50 +0300 (IDT)
Received: from HOME-C4E4A596F7 ([84.229.34.97]) by i-mtaout1.012.net.il (HyperSendmail v2007.08) with ESMTPA id <0KI30030DOTPHQB0@i-mtaout1.012.net.il>; Tue, 14 Apr 2009 20:05:50 +0300 (IDT)
Date: Tue, 14 Apr 2009 17:06:00 -0000
From: Eli Zaretskii <eliz@gnu.org>
Subject: Re: [RFA] Update server name from sources.redhat.com to sourceware.org
In-reply-to: <006701c9bd19$7b25d9c0$71718d40$@u-strasbg.fr>
To: Pierre Muller <muller@ics.u-strasbg.fr>
Cc: gdb-patches@sourceware.org
Reply-to: Eli Zaretskii <eliz@gnu.org>
Message-id: <83ocuzmah6.fsf@gnu.org>
References: <006701c9bd19$7b25d9c0$71718d40$@u-strasbg.fr>
X-IsSubscribed: yes
Mailing-List: contact gdb-patches-help@sourceware.org; run by ezmlm
Precedence: bulk
List-Id: <gdb-patches.sourceware.org>
List-Subscribe: <mailto:gdb-patches-subscribe@sourceware.org>
List-Archive: <http://sourceware.org/ml/gdb-patches/>
List-Post: <mailto:gdb-patches@sourceware.org>
List-Help: <mailto:gdb-patches-help@sourceware.org>, <http://sourceware.org/ml/#faqs>
Sender: gdb-patches-owner@sourceware.org
X-SW-Source: 2009-04/txt/msg00264.txt.bz2

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