From a66ad0edaccff5294c03b6a4bb92913d49e03a00 Mon Sep 17 00:00:00 2001
From: Matthias Maennich <maennich@google.com>
Date: Thu, 22 Jul 2021 12:33:33 +0100
Subject: [PATCH] ANDROID: move OWNERS.DrNo to OWNERS_DrNo

Apparently, .DrNo is not a valid extension, _DrNo is, so use this
instead.

Bug: 194314089
Signed-off-by: Matthias Maennich <maennich@google.com>
Change-Id: I16496d6d1186e0f9ab90e6e47a8844df5cd61d7a
---
 OWNERS.DrNo => OWNERS_DrNo | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename OWNERS.DrNo => OWNERS_DrNo (100%)

diff --git a/OWNERS.DrNo b/OWNERS_DrNo
similarity index 100%
rename from OWNERS.DrNo
rename to OWNERS_DrNo