https://gcc.gnu.org/bugzilla/show_bug.cgi?id=25508
Andrew Pinski <pinskia at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
Resolution|--- |FIXED
Target Milestone|--- |5.0
--- Comment #4 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Fixed so closing.(In reply to jos...@codesourcery.com from comment #3)
> It looks like the documentation was added by
>
> r193508 | doko | 2012-11-14 21:29:15 +0000 (Wed, 14 Nov 2012) | 36 lines
>
> but without closing this bug.
Most likely because he did not know there was a bug filed for this.
