Currently you need to do the unicode encoding of the bytes by hand, and send them to the terminal: (format *stderr* (string #\xe2 #\x96 #\xa0))
_______________________________________________ Cmdist mailing list [email protected] https://cm-mail.stanford.edu/mailman/listinfo/cmdist
