From 52f3c28df2300c60ca015fc39d48c10f09b8c5ef Mon Sep 17 00:00:00 2001
From: Cyril Cohen <cohen@crans.org>
Date: Tue, 6 Aug 2019 11:15:37 +0200
Subject: elpi: 1.4.1 -> 1.6.0, and coq-elpi

---
 maintainers/maintainer-list.nix | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'maintainers/maintainer-list.nix')

diff --git a/maintainers/maintainer-list.nix b/maintainers/maintainer-list.nix
index af6fc10f0f8..65095e78596 100644
--- a/maintainers/maintainer-list.nix
+++ b/maintainers/maintainer-list.nix
@@ -1083,6 +1083,11 @@
     github = "codyopel";
     name = "Cody Opel";
   };
+  cohencyril = {
+    email = "cyril.cohen@inria.fr";
+    github = "CohenCyril";
+    name = "Cyril Cohen";
+  };
   colemickens = {
     email = "cole.mickens@gmail.com";
     github = "colemickens";
-- 
cgit 1.4.1