http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52239
--- Comment #12 from Frédéric Buclin <LpSolit at netscape dot net> 2013-05-09 00:20:01 UTC --- Note that I didn't include the fix from https://bugzilla.mozilla.org/show_bug.cgi?id=571533 yet as I first want to make sure that this fix is still needed after the upgrade. I will need to shut down Bugzilla while I do a backup of the DB, upgrade the source code and update the DB schema. I will do it tomorrow (Thursday).
