-
Clemens Hammacher authored
The counter is dead since January 2018 (https://crrev.com/c/860011). This CL reenables it. R=titzer@chromium.org Bug: v8:8975 Change-Id: I0245edd40bb972a89e223685f56ab02fbdf68aa0 Reviewed-on: https://chromium-review.googlesource.com/c/v8/v8/+/1514677Reviewed-by: Ben Titzer <titzer@chromium.org> Commit-Queue: Clemens Hammacher <clemensh@chromium.org> Cr-Commit-Position: refs/heads/master@{#60166}
e242540e