Bug: chromium:1014272
Change-Id: I5707dbfcff4ac52f7f27b0f9feb2edfe1c7775ac
Reviewed-on: https://chromium-review.googlesource.com/c/v8/v8/+/1972425Reviewed-by: Frank Tang <ftang@chromium.org>
Reviewed-by: Toon Verwaest <verwaest@chromium.org>
Commit-Queue: Jakob Kummerow <jkummerow@chromium.org>
Cr-Commit-Position: refs/heads/master@{#65514}