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



--- Comment #20 from Hans-Peter Nilsson <hp at gcc dot gnu.org> 2012-11-20 
15:26:43 UTC ---

(In reply to comment #19)

> Assuming fixed.



Well yes!  Maybe we should clear the issue on who's supposed to close PR's

after a fix?  I'd be happy to do it for PR's I've opened, I've just left it to

whomever is "assigned" who may want to keep the PR open pending a backport.

Reply via email to