log man/ChangeLog @ 5881:31dd275fa683

age author description
Mon, 16 Mar 2015 00:28:18 +0000 Aidan Kehoe Add the non-ASCII digit support, now #'parse-integer can handle it.