[00:00] --- Fri Nov 9 2018 [09:44] hebot joined #@heinzi. [09:44] Nick change: hebot -> heebot [00:00] --- Sat Nov 10 2018