freenode/#sbcl - IRC Chatlog Search Thursday, 19th of July 2018, 1:12:53 UTC 8:47:37 pkhuong ** NICK Guest85110 9:57:56 flip214 Xof: thanks for the discussion!