From 39a55e0ad77097445d5303cdb49f89fe212a1c09 Mon Sep 17 00:00:00 2001
From: Pierre Roux <pierre.roux@onera.fr>
Date: Tue, 10 Sep 2024 10:45:07 +0200
Subject: [PATCH] Update coq-team.html

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

diff --git a/pages/coq-team.html b/pages/coq-team.html
index 2d4629c7dc..2660ddfac3 100644
--- 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">