Committed. Thank you for the patch.

https://chromiumcodereview.appspot.com/9433031/

--
v8-dev mailing list
v8-dev@googlegroups.com
http://groups.google.com/group/v8-dev

Reply via email to