[Bug web/52228] Bugzilla: Missing link for "PR...."

[LpSolit at netscape dot net]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52228

Frédéric Buclin <LpSolit at netscape dot net> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|RESOLVED                    |ASSIGNED
         Resolution|FIXED                       |

--- Comment #7 from Frédéric Buclin <LpSolit at netscape dot net> 2012-02-13 15:59:50 UTC ---
(In reply to comment #5)
> yeah, that'll be it :)

Ah, right! That was the reason I explicitly excluded / right before PR. So I
guess the problem described in comment 0 is minor enough to let it unfixed. Any
objection?