Change-Id: Ie7b9323d7491d1105a8a5b14b341ab023b0a59eb
Reviewed-on: https://chromium-review.googlesource.com/c/v8/v8/+/2078572
Auto-Submit: Georg Neis <neis@chromium.org>
Reviewed-by: Tobias Tebbi <tebbi@chromium.org>
Commit-Queue: Tobias Tebbi <tebbi@chromium.org>
Cr-Commit-Position: refs/heads/master@{#66484}