Merge pull request #242 from coq/gares-patch-1

Update coq-team.html
coq · Jul 25, 2024 · cea6ff5 · cea6ff5
2 parents 2a795a1 + 1eb33f5
commit cea6ff5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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>