On Tue, 19 May 2015, Roland McGrath wrote: > > Ouch :( Thanks for fixing this! > > I'll take that as approval and commit it to trunk now. NEWS update to the list of fixed bugs needed. -- Joseph S. Myers joseph@codesourcery.com