[01:09:43] Christian Huitema leaves the room: Disconnected: closed
[01:09:43] Christian Huitema joins the room
[01:12:36] Christian Huitema leaves the room: Disconnected: closed
[01:16:03] undefined joins the room
[03:00:08] zulipbot joins the room
[04:40:44] Christian Huitema joins the room
[11:41:14] Christian Huitema leaves the room: Disconnected: closed