libera/#clasp - IRC Chatlog Search Friday, 30th of July 2021, 2:29:10 UTC 2:29:31 drmeister So all we are doing is moving the location of clasp_gc_xxx.cc and it's always called clasp_gc.cc 3:05:18 beach Good morning everyone!