-
Peter Marshall authored
The devtools frontend used this to set a lower interval (100us). Now the frontend will stop setting this category and we will always profile with 100us (which was already the default). Bug: chromium:1082220 Change-Id: Iaa671d9750ad4c13b95c2c1ba1e433a1077c858a Reviewed-on: https://chromium-review.googlesource.com/c/v8/v8/+/2198989Reviewed-by: Sigurd Schneider <sigurds@chromium.org> Commit-Queue: Peter Marshall <petermarshall@chromium.org> Cr-Commit-Position: refs/heads/master@{#67805}
dbf9ff61