chiark / gitweb /
ENCODE-UTF8-STRING now works with zero length string