From 1eb33f58824d2cb0b87893173343495bbb77c4d5 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <Enrico.Tassi@inria.fr>
Date: Thu, 25 Jul 2024 15:02:31 +0200
Subject: [PATCH] Update coq-team.html

---
 pages/coq-team.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pages/coq-team.html b/pages/coq-team.html
index 31e94f6679..2d4629c7dc 100644
--- a/pages/coq-team.html
+++ b/pages/coq-team.html
@@ -224,7 +224,7 @@
     <div class="name"><a href="http://www-sop.inria.fr/members/Enrico.Tassi/">Enrico Tassi</a></div>
     <div class="nickname">gares</div>
     <div class="position">Inria Researcher in the Stamp Team, Sophia-Antipolis, France</div>
-    <div class="role">RM: 8.13</div>
+    <div class="role">RM: 8.13, 8.19</div>
     <div class="components">General Maintenance, STM, SSReflect, opam, VSCoq, Mathematical Components, Coq-Elpi, Hierarchy Builder</div>
   </div>
 </div>