[11:48] much cleaning going on on the ppc64el builders [12:19] ppc64el builders are now sparkling clean [12:25] ginggs: er yes, sorry, fixed them a while back but forgot to reply [12:25] Thanks for the poke [15:00] wgrant: thanks for fixing!