Unless I'm reading it wrong - it looks patched to me.

-cl

On Tue, Apr 26, 2005 at 09:33:53PM +0200, Dirk Mueller wrote:
> On Tuesday 26 April 2005 21:15, Andr?? W??bbeking wrote:
> 
> > could you give us a bit more information about this (i.e. bug numbers)?
> 
> http://gcc.gnu.org/bugzilla/show_bug.cgi?id=20973
> 
> 
> -- 
> Dirk//\