Not having seen any further comments, I've now committed this patch (with the correction I noted to the ChangeLog entry) - thanks. -- Joseph S. Myers joseph@codesourcery.com