https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93090
--- Comment #7 from John Paul Adrian Glaubitz <glaubitz at physik dot fu-berlin.de> --- (In reply to Jonathan Wakely from comment #6) > Can this be closed now? Yes. I think there is still some money in the Bountysource campaign, not sure what will happen with it. I'll contact them and make sure the money doesn't go to waste.
