On 2015/09/08 07:34:27, jochen wrote:
good catch, thank you
Thanks. Fixed: https://codereview.chromium.org/1326693004/ https://codereview.chromium.org/1229243002/ -- -- 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.
