http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56627
--- Comment #13 from Paolo Carlini <paolo.carlini at oracle dot com> --- Jon, I have two spare minutes and if you don't mind I'm taking care of the stupid change myself.
paolo.carlini at oracle dot com Wed, 31 Jul 2013 07:23:14 -0700
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56627
--- Comment #13 from Paolo Carlini <paolo.carlini at oracle dot com> --- Jon, I have two spare minutes and if you don't mind I'm taking care of the stupid change myself.