libera/#clasp - IRC Chatlog Search Sunday, 7th of August 2022, 3:00:36 UTC 13:55:30 drmeister Hello everyone 14:00:53 drmeister Bike: Could you make me a member of the cvm repository - or should I submit a PR? 14:14:04 Bike maybe i can just transfer it to clasp-developers 14:15:08 Bike done