[07:13] <acheronuk> wgrant or cjwatson: if either of you happens to be about at this in between time, could a reset or whatever it is called be done on the ppc64el builders please?
[07:14] <wgrant> acheronuk: Done. We're trying to work out why they're being dodgy.
[07:15] <acheronuk> wgrant: thank you
[11:00] <acheronuk> cjwatson or wgrant: can ppc64el be poked again?