[2018-07-17 21:26:02 CEST] * betamax joined
[2018-07-17 21:58:33 CEST] * betamax quit (CGI:IRC (Ping timeout))
[2018-07-22 12:45:21 CEST] * zx81jens joined
[2018-07-22 12:45:42 CEST] * zx81jens set topic to 'Zeddy4Ever'
[2018-07-22 13:11:27 CEST] * zx81jens quit (EOT)
[2018-07-22 19:57:29 CEST] * heinz joined
[2018-07-22 20:08:41 CEST] <heinz>  
[2018-07-22 20:08:49 CEST] * heinz quit (EOT)
[2018-07-22 20:18:39 CEST] * rune joined
[2018-07-22 20:23:02 CEST] * rune quit (Leaving)