https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82845
David Brown <david at westcontrol dot com> changed:
What |Removed |Added
----------------------------------------------------------------------------
Resolution|DUPLICATE |FIXED
--- Comment #2 from David Brown <david at westcontrol dot com> ---
(In reply to Marc Glisse from comment #1)
> Richard's patch seems to have been forgotten :-(
>
> *** This bug has been marked as a duplicate of bug 56888 ***
Sorry for the noise. (Unless it encourages the fix from bug 56888 to be
implemented!)
