[02:52:02] zulipbot leaves the room: Disconnected: closed
[04:53:22] mcr leaves the room
[04:54:09] zulipbot joins the room
[06:11:37] cabo joins the room
[07:51:59] cabo leaves the room
[12:04:42] cabo joins the room
[12:28:13] c.amsuess leaves the room
[13:29:16] c.amsuess joins the room
[17:36:46] c.amsuess joins the room
[17:43:26] zulipbot joins the room
[18:08:51] cabo joins the room
[22:25:52] cabo leaves the room
[22:43:10] cabo joins the room
[23:58:30] cabo leaves the room