| From: Matthew Flatt (mflatt at cs.utah.edu) Date: Sat Mar 1 09:23:26 EST 2008 |
|
In addition to using Unicode 5.0 instead of 4.1, the default UTF-8 decoding of a port stream now produces #\uFFFD (the "replacement character") instead of #\? for bad encodings in the stream. Matthew
| Posted on the users mailing list. |
|
![[logo]](/logo.png){kind=logo}