[00:00] --- Mon Jul 8 2019 [20:57] hebot joined #@heinzi. [20:57] Nick change: hebot -> heebot [00:00] --- Tue Jul 9 2019