Is the latest patch ok? Since this issue was already closed, do I need to push
the corrected patch as a new issue? Please let me know, thanks!

https://codereview.chromium.org/11369014/

--
v8-dev mailing list
[email protected]
http://groups.google.com/group/v8-dev

Reply via email to