http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56678
--- Comment #7 from Paolo Carlini <paolo.carlini at oracle dot com> 2013-03-23 10:55:33 UTC --- By the way, Jakub, I think we should either manage to restore the functionality or ask all the contributors to be very strict about manually keeping the Bugzilla entries updated. Shall we send a specific message to the mailing lists about that?
