[12:27:12] <volans>	 moritzm, jbond42: I've a quick debmonitor upgrade to do, when is a good time that doesn't disrupt any ongoing work?
[12:27:31] <moritzm>	 you can do it right now if you want
[12:27:34] <jbond42>	 volans: now shouuld be fine
[12:28:17] <volans>	 ack, running it, thx
[12:28:36] <moritzm>	 ping me when the update is done I can do a live test with the next batch of updates
[12:29:13] <volans>	 moritzm: {done} but was just changing the GC, so I don't expect any issue
[12:32:20] <moritzm>	 tested it, seems all fine!