Bug: none
Change-Id: Ifd381c70bc50ad85c7f2367c821be876b325d0fc
Reviewed-on: https://chromium-review.googlesource.com/c/v8/v8/+/2793967
Auto-Submit: Peter Marshall <petermarshall@chromium.org>
Commit-Queue: Ross McIlroy <rmcilroy@chromium.org>
Reviewed-by: Yang Guo <yangguo@chromium.org>
Reviewed-by: Ross McIlroy <rmcilroy@chromium.org>
Cr-Commit-Position: refs/heads/master@{#73735}