libstdc++/3720: Problems with num_get

[Mark Mitchell]

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