Right on, much appreciated! I'll go ahead and include it for the happiest possible bots :p. Have a great day, --Michael
On Mon, Mar 16, 2015 at 11:24 PM, <[email protected]> wrote: > LGTM. Thanks for the heads up on this Michael! As Ákos said, feel free to > include this code in your CL, or we can land it separately. > > https://codereview.chromium.org/1010043003/ > -- Google Germany GmbH Dienerstr. 12 80331 München Registergericht und -nummer: Hamburg, HRB 86891 Sitz der Gesellschaft: Hamburg Geschäftsführer: Graham Law, Christine Elizabeth Flores -- -- 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.
