On Fri, 2 Nov 2012, Marcus Shawcroft wrote: > I'd appreciate feedback on the sanity of this solution. It seems fine to me (with the ChangeLog entries fixed as noted) - does anyone else have any comments? -- Joseph S. Myers joseph@codesourcery.com