From d05a2e03953bf7e58696a0401ba41360b627401c Mon Sep 17 00:00:00 2001 From: Josip Sokcevic Date: Tue, 25 Jan 2022 23:54:05 +0000 Subject: [PATCH] Add aravindvasudev to owners R=aravindvasudev@google.com, gavinmak@google.com Change-Id: Ic00cc4a6b0ca9aa7d8109f0d8c611044a4a1da47 Reviewed-on: https://chromium-review.googlesource.com/c/chromium/tools/depot_tools/+/3414741 Auto-Submit: Josip Sokcevic Reviewed-by: Gavin Mak Commit-Queue: Gavin Mak --- OWNERS | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/OWNERS b/OWNERS index bda83ccbf6..498546e0fa 100644 --- a/OWNERS +++ b/OWNERS @@ -1,9 +1,10 @@ set noparent apolito@google.com +aravindvasudev@google.com dpranke@google.com -jochen@chromium.org gavinmak@google.com +jochen@chromium.org sokcevic@google.com per-file ninja*=thakis@chromium.org