Commit c818df9888d452f0ae54b3a504eefdd970fd73d8 Parent 48f0df56d24de06343bd6a52167f3f210c6c101d Author John MacFarlane <jgm@berkeley.edu> Date Fri, 24 Oct 2014 20:09:53 -0700 Spec: say explicitly that a character is a unicode code point.