freenode/#sbcl - IRC Chatlog Search Tuesday, 9th of October 2018, 2:40:43 UTC 13:13:37 pfdietz Congratulations for tracking down that bug.