libera/#clasp - IRC Chatlog Search Sunday, 2nd of April 2023, 0:56:31 UTC 12:55:10 drmeister Good morning 12:55:23 drmeister I added some comments to https://github.com/clasp-developers/clasp/issues/1450