Bug: chromium:1061857
Change-Id: Ib87a18cae343c8861cf49e64923273a43db20960
Reviewed-on: https://chromium-review.googlesource.com/c/v8/v8/+/2767438Reviewed-by: Leszek Swirski <leszeks@chromium.org>
Commit-Queue: Camillo Bruni <cbruni@chromium.org>
Cr-Commit-Position: refs/heads/master@{#73712}