From 23bea4913f75664180fefa34be835b819fa9fe3c Mon Sep 17 00:00:00 2001 From: Tobias Tebbi Date: Mon, 7 Nov 2022 10:39:53 +0100 Subject: [PATCH] add tebbi@ to more OWNERs This adds tebbi@ to the same OWNER as before the change https://chromium-review.googlesource.com/c/v8/v8/+/2639757. Change-Id: Ia3093f42ed987940e9e6ad42dcba6dc7c29ca01c Reviewed-on: https://chromium-review.googlesource.com/c/v8/v8/+/4008338 Reviewed-by: Toon Verwaest Reviewed-by: Nico Hartmann Commit-Queue: Tobias Tebbi Cr-Commit-Position: refs/heads/main@{#84109} --- src/codegen/OWNERS | 1 + src/deoptimizer/OWNERS | 1 + third_party/v8/builtins/OWNERS | 1 + 3 files changed, 3 insertions(+) diff --git a/src/codegen/OWNERS b/src/codegen/OWNERS index 4a9e9ec701..97a7b2b563 100644 --- a/src/codegen/OWNERS +++ b/src/codegen/OWNERS @@ -7,5 +7,6 @@ jkummerow@chromium.org leszeks@chromium.org mslekova@chromium.org nicohartmann@chromium.org +tebbi@chromium.org per-file compiler.*=marja@chromium.org diff --git a/src/deoptimizer/OWNERS b/src/deoptimizer/OWNERS index 28e6d69ceb..87ea268231 100644 --- a/src/deoptimizer/OWNERS +++ b/src/deoptimizer/OWNERS @@ -2,3 +2,4 @@ jgruber@chromium.org leszeks@chromium.org nicohartmann@chromium.org victorgomes@chromium.org +tebbi@chromium.org diff --git a/third_party/v8/builtins/OWNERS b/third_party/v8/builtins/OWNERS index 2abd973305..255508218e 100644 --- a/third_party/v8/builtins/OWNERS +++ b/third_party/v8/builtins/OWNERS @@ -1,2 +1,3 @@ jgruber@chromium.org szuend@chromium.org +tebbi@chromium.org