From a8c95116d3b1710a3652b421a39757d7e6f47012 Mon Sep 17 00:00:00 2001
From: Benny Siegert <bsiegert@gmail.com>
Date: Mon, 12 Feb 2018 11:52:40 +0100
Subject: [PATCH] Delete OWNERS

---
 OWNERS | 4 ----
 1 file changed, 4 deletions(-)
 delete mode 100644 OWNERS

diff --git a/OWNERS b/OWNERS
deleted file mode 100644
index 614c085..0000000
--- a/OWNERS
+++ /dev/null
@@ -1,4 +0,0 @@
-gchatelet
-courbet
-
-mdb-group:research-compilers-team