[01:03] <cjwatson> RikMills: Hm, buildd-manager does look like it got stuck at 22:26 now that I look more closely, but there's already a belt-and-braces job that automatically restarts it every six hours and that seems to have sorted things out
[01:03] <cjwatson> (Not ideal, but)
[01:05] <cjwatson> Sorry for not noticing that earlier
[05:49] <RikMills> cjwatson: gotcha. thanks
=== Nafallo_ is now known as Nafallo
=== JanC is now known as Guest5415
=== JanC_ is now known as JanC