Sorry, we had a holiday last week. Have been looking at it this morning, but it's not tiny. :)
On 13 May 2013 14:06, <[email protected]> wrote: > Andreas: ping. > > https://codereview.chromium.org/14779011/ -- -- 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/groups/opt_out.
