Bug: None
Change-Id: I78bb392d78c9ec968a0763dd9767f4b0ceb374a9
Reviewed-on: https://chromium-review.googlesource.com/c/v8/v8/+/2157380Reviewed-by: Georg Neis <neis@chromium.org>
Commit-Queue: Georg Neis <neis@chromium.org>
Cr-Commit-Position: refs/heads/master@{#67285}