freenode/#clasp - IRC Chatlog Search Tuesday, 10th of December 2019, 1:21:37 UTC 3:37:48 drmeister Yes - we use boehm gc 7:21:37 beach Good morning everyone!