For the record, my (slightly conflicting) patch is at https://chromiumcodereview.appspot.com/10690163/
Let me know if you have a suggestion, and I'll modify it. https://chromiumcodereview.appspot.com/10695176/ -- v8-dev mailing list [email protected] http://groups.google.com/group/v8-dev
