=== verterok` is now known as verterok
=== chihchun_afk is now known as chihchun
=== chihchun is now known as chihchun_afk
=== lukedashjr is now known as luke-jr
[13:46] <Saviq> hey, can we please have ppa:mir-team/rc size bumped? seems we've too much RC churn and gone over the 16GB we had allocated...
[13:48] <cjwatson> mir-test-tools-dbgsym is impressively overweight
[13:49] <cjwatson> Saviq: bumped to 24GiB, but it might be worth some time seeing if mir-test-tools-dbgsym really needs to be quite that large
[13:50] <Saviq> cjwatson: indeed, thanks