[DevTools] console.log("%d") should support BigInts
R=luoe@chromium.org TBR=lushnikov@chromium.org Bug: v8:7486 Change-Id: I332f979fb91d97c80f08f7dadd47d8929439c3fc Reviewed-on: https://chromium-review.googlesource.com/1169777Reviewed-by:Aleksey Kozyatinskiy <kozyatinskiy@chromium.org> Reviewed-by:
Alexei Filippov <alph@chromium.org> Reviewed-by:
Erik Luo <luoe@chromium.org> Commit-Queue: Aleksey Kozyatinskiy <kozyatinskiy@chromium.org> Cr-Commit-Position: refs/heads/master@{#582276}
Showing
Please register or sign in to comment