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. -- Joseph S. Myers jos...@codesourcery.com
