-
Jakob Gruber authored
Forgot to do this in crrev.com/c/3067226. Bug: v8:7790,v8:12030 Change-Id: Ic6fbf3feb07e8d08f0fd83d76d54535387c7a27c Reviewed-on: https://chromium-review.googlesource.com/c/v8/v8/+/3074464 Commit-Queue: Jakob Gruber <jgruber@chromium.org> Commit-Queue: Georg Neis <neis@chromium.org> Auto-Submit: Jakob Gruber <jgruber@chromium.org> Reviewed-by: Georg Neis <neis@chromium.org> Cr-Commit-Position: refs/heads/master@{#76117}
f2477023