On 2014/07/11 09:40:01, aandrey wrote:
Turns out that we don't need this API. So, I'll leave it up to you whether
commit this or not.
If it's not used, it will bit-rot, anyway. :-) Therefore, I'm simply closing
this issue, we can easily revive it if it turns out to be needed in the
future.
https://codereview.chromium.org/377213002/
--
--
v8-dev mailing list
[email protected]
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 [email protected].
For more options, visit https://groups.google.com/d/optout.
