[00:00] --- Sun Nov 5 2017 [02:20] hebot joined #@heinzi. [02:20] Nick change: hebot -> heebot [00:00] --- Mon Nov 6 2017