>>>>> "Aldy" == Aldy Hernandez <aldyh@redhat.com> writes: Aldy> here is the updated patch. I added your description to the Aldy> info page. Thanks! Aldy> i assume this is ok. aldy Yes, thanks. -- Mark Mitchell mark@codesourcery.com CodeSourcery, LLC http://www.codesourcery.com