http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53477
--- Comment #13 from Jonathan Wakely <redi at gcc dot gnu.org> --- (In reply to Phil Muldoon from comment #12) > I checked in a patch to fix this yesterday. Not sure why the bug did not > auto-update. Unfortunately after the sourceware.org hardware upgrade the script to update bugzilla from commits was lost or disabled, and noone's restored it. Thanks for adding the commit details manually, most of us don't bother because it adds a step to the process and is quite tedious when you're making lots of commits. Is this RESOLVED now then?
