Problem with the fix to PR 10234

[Joe Buck]

On Sat, Apr 12, 2003 at 03:43:48PM +0200, Gabriel Dos Reis wrote:
> Joe Buck <jbuck@synopsys.com> writes:
> 
> [...]
> 
> | Gaby, this is something that we'll have to settle before any 3.2.3
> | release, but I'll try to get it solved quickly.
> 
> Joe,
> 
>   You certainly have more information about this issue than I do.  So,
> I'm OK with anything you think is best for it.

This one is settled; RMS gave us permission to use gcc.gnu.org in links.
You don't need to do anything.