"Joseph S. Myers" <joseph@codesourcery.com> wrote: >> Does the attached patch look OK now? > > Yes, this looks like what I'm expecting. Thanks for your confirmation. I've just pushed the fix. Regards, kaz