freenode/#clasp - IRC Chatlog Search Saturday, 10th of April 2021, 3:00:13 UTC 3:00:14 drmeister Here are the weird ones after running c++filt on them. 3:00:34 drmeister https://www.irccloud.com/pastebin/CkMEKQxr/ 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