This landed here now https://codereview.chromium.org/959713003/
Thanks for your work! I'll close this CL. https://codereview.chromium.org/955963002/ -- -- 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.
