From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-prs-return-12710-listarch-gcc-prs=gcc.gnu.org@gcc.gnu.org>
Received: (qmail 6621 invoked by alias); 11 Dec 2001 08:06:04 -0000
Mailing-List: contact gcc-prs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Archive: <http://gcc.gnu.org/ml/gcc-prs/>
List-Post: <mailto:gcc-prs@gcc.gnu.org>
List-Help: <mailto:gcc-prs-help@gcc.gnu.org>
Sender: gcc-prs-owner@gcc.gnu.org
Received: (qmail 6579 invoked by uid 71); 11 Dec 2001 08:06:03 -0000
Date: Tue, 11 Dec 2001 00:06:00 -0000
Message-ID: <20011211080602.6554.qmail@sources.redhat.com>
To: bkoz@gcc.gnu.org
Cc: gcc-prs@gcc.gnu.org,
From: Mark Mitchell <mark@codesourcery.com>
Subject: Re: libstdc++/3720: Problems with num_get
Reply-To: Mark Mitchell <mark@codesourcery.com>
X-SW-Source: 2001-12/txt/msg00618.txt.bz2
List-Id: <gcc-prs.sourceware.org>

The following reply was made to PR libstdc++/3720; it has been noted by GNATS.

From: Mark Mitchell <mark@codesourcery.com>
To: Joe Buck <jbuck@synopsys.COM>
Cc: Philip Martin <philip@codematters.co.uk>,
   Benjamin Kosnik <bkoz@redhat.com>,
   Peter Schmid <schmid@snake.iap.physik.tu-darmstadt.de>,
   "gcc-bugs@gcc.gnu.org" <gcc-bugs@gcc.gnu.org>,
   "gcc-gnats@gcc.gnu.org" <gcc-gnats@gcc.gnu.org>,
   "gcc-prs@gcc.gnu.org" <gcc-prs@gcc.gnu.org>,
   "philip_martin@ntlworld.com" <philip_martin@ntlworld.com>
Subject: Re: libstdc++/3720: Problems with num_get
Date: Mon, 10 Dec 2001 23:57:38 -0800

 --On Monday, December 10, 2001 05:52:32 PM -0800 Joe Buck 
 <jbuck@synopsys.COM> wrote:
 
 >
 >> Would you point me at the URL for Philip's patch?
 >>
 >> Thank you,
 >
 > http://gcc.gnu.org/ml/gcc-bugs/2001-12/msg00421.html
 >
 > (I know, should be gcc-patches)
 >
 > Ben's approval is in
 >
 > http://gcc.gnu.org/ml/gcc-bugs/2001-12/msg00424.html
 
 Thanks; I've installed this patch on the branch.
 
 I will make prerelease tarballs tomorrow.
 
 -- 
 Mark Mitchell                mark@codesourcery.com
 CodeSourcery, LLC            http://www.codesourcery.com