From e064e7218862f4da17b680380a27c160f4c05dd3 Mon Sep 17 00:00:00 2001
From: Yang Guo <yangguo@chromium.org>
Date: Wed, 15 May 2019 12:39:47 +0200
Subject: [PATCH] Add OWNERS for docs/

R=hablich@chromium.org, mathias@chromium.org

Bug: v8:9247
Change-Id: I3db662986dd36d4b29c6bd485b911ebf377e7533
Reviewed-on: https://chromium-review.googlesource.com/c/v8/v8/+/1613237
Reviewed-by: Michael Hablich <hablich@chromium.org>
Commit-Queue: Yang Guo <yangguo@chromium.org>
Cr-Commit-Position: refs/heads/master@{#61524}
---
 docs/OWNERS | 2 ++
 1 file changed, 2 insertions(+)
 create mode 100644 docs/OWNERS

diff --git a/docs/OWNERS b/docs/OWNERS
new file mode 100644
index 0000000000..39b706f0cc
--- /dev/null
+++ b/docs/OWNERS
@@ -0,0 +1,2 @@
+hablich@chromium.org
+mathias@chromium.org