Hey, > Guilhem fixed most of them today, according to Michael's Tinderbox. > Great! > > Thanks to Riccardo and Michael for reporting it, and to Guilhem for > fixing the issues. s/most/all/ Yesterday I had 0 failures! I hope nothing broke in the meanwhile :) I didn't check today, I was busy with mips. -R