Gabriel Dos Reis wrote: > Mark Mitchell <mark@codesourcery.com> writes: > > [...] > > | Is this patch OK, assuming testing succeeds? > > Yes, thanks. Committed. -- Mark Mitchell CodeSourcery, LLC mark@codesourcery.com (916) 791-8304