libera/#sicl - IRC Chatlog Search Monday, 13th of September 2021, 1:35:24 UTC 3:01:40 beach Good morning everyone! 3:02:09 hayley Good morning beach! 13:34:58 mfiano beach: and I guess I sort of lost focus/interest on the pretty printer. I hope there is no rush on it, or if you want to hire someone else that is also fine by me.