http://gcc.gnu.org/bugzilla/show_bug.cgi?id=48474 --- Comment #4 from Mike Stump <mikestump at comcast dot net> --- patches to the gcc-patches list get lost and ignored. Bugzilla is forever. Looks like I chose wisely.