Jaro: PTAL (Michi is OK with this change, but he don't want to be the one to review it) Michi/Sven: FYI
https://codereview.chromium.org/994433002/ -- -- 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.
