https://codereview.chromium.org/303223004/diff/1/src/array.js
File src/array.js (right):
https://codereview.chromium.org/303223004/diff/1/src/array.js#newcode772
src/array.js:772: var deleted_elements = [];
Now that you are fixing this above, can you also fix this here?
https://codereview.chromium.org/303223004/
--
--
v8-dev mailing list
v8-dev@googlegroups.com
http://groups.google.com/group/v8-dev
---
You received this message because you are subscribed to the Google Groups "v8-dev" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to v8-dev+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
