[2018-08-12 19:57:22 CEST] * heinz joined
[2018-08-12 20:16:47 CEST] * heinz quit (EOT)
[2018-08-12 20:20:25 CEST] * rune joined
[2018-08-12 20:21:09 CEST] * dave_ joined
[2018-08-12 20:23:58 CEST] * rune quit (ping timeout)
[2018-08-12 20:50:19 CEST] * dave_ quit ([Errno 104] Connection reset by peer)
[2018-08-12 20:50:40 CEST] * rune joined