Jens, LGTM over all. I will take your patch and apply the minimal change to V8-bleeding_edge in a new change list.
-Ivan http://codereview.chromium.org/251047 --~--~---------~--~----~------------~-------~--~----~ v8-dev mailing list [email protected] http://groups.google.com/group/v8-dev -~----------~----~----~----~------~----~------~--~---
