freenode/#sicl - IRC Chatlog Search Tuesday, 8th of January 2019, 17:53:55 UTC 4:06:21 beach Good morning everyone! 4:06:31 no-defun-allowed Good morning beach! 4:07:29 beach Things are back to normal after the holidays. Today my favorite coauthor will come over for lunch, and in the afternoon, we will likely work on some of our ELS paper submissions. 4:08:20 Gnuxie[m] good morning beach