| commit | 8deccd8a51d8ba2ac62c22d68d4bf42ae84c435a | [log] [tgz] |
|---|---|---|
| author | Gurchetan Singh <[email protected]> | Fri Jan 24 09:21:03 2025 -0800 |
| committer | Gurchetan Singh <[email protected]> | Fri Jan 24 09:21:11 2025 -0800 |
| tree | e8782cf8dd381118ab465f9faa112a7a34d662c9 | |
| parent | f4ee9461c3277e5ca169a98168246fb30aa12775 [diff] |
virgl: add more OWNERS I think accidently deleted some OWNERs last time, when we just wanted to add a few more. BUG=None TEST=None Change-Id: I360c5e3301da1aa1597bd425cb8607e5f0e99134
diff --git a/OWNERS b/OWNERS index ed548b5..14035c5 100644 --- a/OWNERS +++ b/OWNERS
@@ -1,5 +1,7 @@ # Default code reviewers picked from top 3 or more developers. # Please update this list if you find better candidates. [email protected] [email protected] [email protected] [email protected] include platform/system/core:/janitors/OWNERS #{LAST_RESORT_SUGGESTION}