>>>>> "Benjamin" == Benjamin Kosnik <bkoz@redhat.com> writes:
Benjamin> this makes at least three of us...... since this is
Benjamin> going to change soon anyway, this might be a good time
Benjamin> to do it.
OK, I'll raise it on the GCC list.
--
Mark Mitchell mark@codesourcery.com
CodeSourcery, LLC http://www.codesourcery.com