On Tue, Nov 19, 2013 at 11:16 AM, Joseph S. Myers <jos...@codesourcery.com> wrote: > On Tue, 19 Nov 2013, Basile Starynkevitch wrote: > >> Thanks for your attention. I am attaching a slightly improved patch >> against trunk svn rev. 305009 (the improvements are removing the spurious >> diff hunk, and better comments.) > > Still OK in the absence of plugin maintainer objections.
I'm OK with this patch. Thanks, Basile. Diego.
