On Mon, 6 May 2013, Adhemerval Zanella wrote: > Pushed as 16e616a72f9ac247520c0c7da99b99e229facdf9 Remember to close the bugs in question as fixed now. -- Joseph S. Myers joseph@codesourcery.com