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