libera/#sbcl - IRC Chatlog Search Tuesday, 6th of June 2023, 14:00:53 UTC 14:03:08 luis oh well, hopefully someone (other than the customer) will be able to reproduce this 14:56:59 luis2 ** NICK luis 14:57:32 hineios6 ** NICK hineios