------- Comment #11 from manu at gcc dot gnu dot org 2008-01-22 13:32 ------- Rob,
I just noticed that you proposed a patch and got no answer. I am sorry for that. Patches should be sent to [EMAIL PROTECTED] Even that does not ensure that it will get noticed. If after one week or two nobody gives any reply, it is fairly common to "ping" the patch from time to time, so it doesn't get lost. We used to have a patch queue but it is down right now. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=33092
