diff options
| -rw-r--r-- | users/Profpatsch/OWNERS | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/users/Profpatsch/OWNERS b/users/Profpatsch/OWNERS index a907667374..5a73d4c3a1 100644 --- a/users/Profpatsch/OWNERS +++ b/users/Profpatsch/OWNERS @@ -1,3 +1,4 @@ inherited: false owners: - Profpatsch + - sterni |