http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56678
--- Comment #3 from Paolo Carlini <paolo.carlini at oracle dot com> 2013-03-22 15:55:49 UTC --- No problem. A more serious issue is why Bugzilla didn't pick my commit earlier today, r196954, care to investigate a bit why? (I can't see anything obviously wrong with my ChangeLog entry)
