On Fri, Jan 28, 2011 at 10:02 AM, Pedro Alves <pedro@codesourcery.com> wrote: >> I'll wait a couple more days, then submit attached patch if there are no >> further comments. >> > > Thanks for the patience. I have no further comments. So committed. Thanks, -- Paul Pluzhnikov