http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51755
--- Comment #6 from Paolo Carlini <paolo.carlini at oracle dot com> 2012-01-06 13:13:41 UTC --- Thus by 'opposite' of 'complete' you mean that nothing should be *added* to the patch, instead something removed from it? Great. You see I meant completing *the work*, thus committing and closing the PR. Anyway, Manuel, would you be willing to send over a patch answeing Joseph' concerns? Otherwise I'll try to do it myself, but probably it will take more time because I have start from scratch on this. Thanks!
