freenode/#clasp - IRC Chatlog Search Saturday, 10th of April 2021, 3:01:59 UTC 3:02:10 drmeister Ah - they might be there but not exported. But my handcrafted symbol file might have picked them up - not because we need them exported - but they just got picked up somehow. 3:04:59 beach Good morning everyone! 12:10:03 beach` ** NICK beach