http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55383
--- Comment #2 from Gerald Pfeifer <gerald at pfeifer dot com> --- Hi Manuel, I also got pinged by a FreeBSD user of one of my ports about this. Somehow I cannot find your patch submission on gcc-patches -- is it possible you haven't submitted it there yet? Will you be doing that, or is it fine if I do?
