Change-Id: I4336c761cbf04800e07b2533be38265725a0d7a2
Reviewed-on: https://chromium-review.googlesource.com/c/v8/v8/+/2179302Reviewed-by: Tobias Tebbi <tebbi@chromium.org>
Commit-Queue: Tobias Tebbi <tebbi@chromium.org>
Cr-Commit-Position: refs/heads/master@{#67538}