https://codereview.chromium.org/11094021/diff/3001/src/objects.cc File src/objects.cc (right):
https://codereview.chromium.org/11094021/diff/3001/src/objects.cc#newcode3946 src/objects.cc:3946: if (IsStringObjectWithCharacterAt(index)) { This was moved from DeleteElement() to DeleteProperty(), I guess that was an accident and I'll move it back. https://codereview.chromium.org/11094021/ -- v8-dev mailing list [email protected] http://groups.google.com/group/v8-dev
