=== jose- is now known as jose === abadger1999_ is now known as abadger1999 === diddledan_ is now known as diddledan === lan3y is now known as Laney === rbasak_ is now known as rbasak [16:47] a large proportion of the ppc64el builders seem to have been cleaning for quite some hours [17:01] will poke [17:39] thanks! === ijohnson is now known as ijohnson|lunch === ijohnson|lunch is now known as ijohnson === DNS is now known as SND === gurmble is now known as grumble