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