freenode/#sbcl - IRC Chatlog Search Thursday, 8th of November 2018, 1:09:59 UTC 12:50:04 pfdietz It's been 10 years since WHN stepped down from leadership. How is he doing?