From fde6edf6490faa51140f267c677b8417a08daf9f Mon Sep 17 00:00:00 2001
From: Maxime Dénès <mail@maximedenes.fr>
Date: Wed, 11 Apr 2018 10:04:47 +0200
Subject: Add myself as the primary maintainer of the warnings system

---
 .github/CODEOWNERS | 3 +++
 1 file changed, 3 insertions(+)

(limited to '.github')

diff --git a/.github/CODEOWNERS b/.github/CODEOWNERS
index f344c5cf5..2d8fc791b 100644
--- a/.github/CODEOWNERS
+++ b/.github/CODEOWNERS
@@ -60,6 +60,9 @@
 /lib/             @ejgallego
 # Secondary maintainer @ppedrot
 
+/lib/cWarnings.* @maximedenes
+# Secondary maintainer @ejgallego
+
 ########## Proof engine ##########
 
 /engine/          @ppedrot
-- 
cgit v1.2.3