libera/#clasp - IRC Chatlog Search Saturday, 16th of October 2021, 20:50:27 UTC 20:53:55 drmeister Fixed, pushed, updated quickclasp 21:50:20 drmeister It built successfully