Mark Mitchell <mark@codesourcery.com> wrote: > Giovanni posted this patch in August: > > http://gcc.gnu.org/ml/gcc-patches/2005-08/msg01169.html > > and I asked for a couple of minor change. The patch never got checked > in, so I made the change, retested, and checked it in. Thanks for tackling this! Giovanni Bajo