Gerald Pfeifer wrote: > We actually do have an issue with the Bugzilla instance on gcc.gnu.org > being rather old, so if anyone with Bugzilla foo wants to donate time > and effort, looking into upgrading that might be even preferrable. See http://gcc.gnu.org/bugzilla/show_bug.cgi?id=43011 for more details. I concur an update would be very useful! Tobias