http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56202
Paolo Carlini <paolo.carlini at oracle dot com> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |ASSIGNED
AssignedTo|unassigned at gcc dot |paolo.carlini at oracle dot
|gnu.org |com
--- Comment #3 from Paolo Carlini <paolo.carlini at oracle dot com> 2013-02-04
15:55:43 UTC ---
Indeed, what Manuel suggested seems right to me. Let me handle this.
