Merge pull request #243 from proux01/rm820

Update coq-team.html
coq · Sep 10, 2024 · 95234ad · 95234ad
2 parents ba42668 + 39a55e0
commit 95234ad
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/pages/coq-team.html b/pages/coq-team.html
@@ -199,7 +199,7 @@
     <div class="picture"><img src="/files/team/silene.jpg" alt="Guillaume Melquiond" width="150"/></div>
     <div class="name"><a href="https://www.lri.fr/~melquion/">Guillaume Melquiond</a></div><div class="nickname">silene</div>
     <div class="position">Inria Researcher in the Toccata Team, Saclay, France</div>
-    <div class="role">RM: 8.9, 8.14</div>
+    <div class="role">RM: 8.9, 8.14, 8.20</div>
     <div class="components">General Maintenance, <code>vm_compute</code>, opam, Reals, Coquelicot, Flocq</div>
   </div>
   <div class="person">
@@ -217,6 +217,7 @@
     <div class="name"><a href="https://www.onera.fr/fr/staff/pierre-roux">Pierre Roux</a></div>
     <div class="nickname">proux01</div>
     <div class="position">Researcher at Onera, Toulouse, France</div>
+    <div class="role">RM: 8.20</div>
     <div class="components">Primitive Types, Notations</div>
   </div>
   <div class="person">