Bug: chromium:1197703
Change-Id: I36fd8b6ef4105e7deab9617d3cd1f2eb44e08171
Reviewed-on: https://chromium-review.googlesource.com/c/v8/v8/+/2850650Reviewed-by: Ross McIlroy <rmcilroy@chromium.org>
Commit-Queue: Andreas Haas <ahaas@chromium.org>
Cr-Commit-Position: refs/heads/master@{#74185}