I've implemented the change in the generator used to create unicode.cc, and committed a new version in revision 6133 (Changelist: http://codereview.chromium.org/5993006/). I'll close this issue.
http://codereview.chromium.org/6077006/ -- v8-dev mailing list [email protected] http://groups.google.com/group/v8-dev
