[2020-04-05 20:06:27 CEST] * heinz joined
[2020-04-05 20:06:58 CEST] * heinz quit (CGI:IRC 0.5.12)