[08:04:16] Christian Huitema leaves the room: Disconnected: closed
[08:25:36] Christian Huitema joins the room
[08:31:49] Christian Huitema leaves the room: Disconnected: Broken pipe
[11:03:49] willem joins the room
[11:16:48] willem leaves the room
[15:36:02] Christian Huitema joins the room
[15:36:46] Christian Huitema leaves the room: Disconnected: closed
[15:37:03] Christian Huitema joins the room
[17:20:44] Christian Huitema leaves the room: Disconnected: closed
[17:31:50] Christian Huitema joins the room
[17:37:59] Christian Huitema leaves the room: Disconnected: Broken pipe