From 29adf6d7d040a1721e63e1ad02bb1c3e8847ff8c Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Tue, 6 Nov 2018 16:14:21 +0100
Subject: It seems that Hugo is also willing to assume a maintainer role on
 CoqIDE.

---
 .github/CODEOWNERS | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/CODEOWNERS b/.github/CODEOWNERS
index 13e6029255..802c1da221 100644
--- a/.github/CODEOWNERS
+++ b/.github/CODEOWNERS
@@ -105,7 +105,7 @@
 
 /ide/             @ppedrot
 /test-suite/ide/  @ppedrot
-# Secondary maintainer @gares
+# Secondary maintainers @gares @herbelin
 
 ########## Interpretation ##########
 
-- 
cgit v1.2.3