about summary refs log tree commit diff
path: root/third_party/overlays/dhall/OWNERS
diff options
context:
space:
mode:
Diffstat (limited to 'third_party/overlays/dhall/OWNERS')
-rw-r--r--third_party/overlays/dhall/OWNERS3
1 files changed, 3 insertions, 0 deletions
diff --git a/third_party/overlays/dhall/OWNERS b/third_party/overlays/dhall/OWNERS
new file mode 100644
index 000000000000..a742d0d22bf6
--- /dev/null
+++ b/third_party/overlays/dhall/OWNERS
@@ -0,0 +1,3 @@
+inherited: true
+owners:
+  - Profpatsch