Change-Id: Idb5ac9b0d3703e94f33d74318080790d00c4ec45
Reviewed-on: https://chromium-review.googlesource.com/c/v8/v8/+/2401428
Auto-Submit: Georg Neis <neis@chromium.org>
Commit-Queue: Nico Hartmann <nicohartmann@chromium.org>
Reviewed-by: Nico Hartmann <nicohartmann@chromium.org>
Cr-Commit-Position: refs/heads/master@{#69836}