From eed9a69e9b00215b63732f04cd9de6f2be1934f5 Mon Sep 17 00:00:00 2001 From: Guilhem Saurel <guilhem.saurel@laas.fr> Date: Wed, 19 Oct 2022 10:01:21 +0200 Subject: [PATCH] gsaurel no longer in bat B --- scripts/offices.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/offices.py b/scripts/offices.py index 18f58dd..ffda478 100755 --- a/scripts/offices.py +++ b/scripts/offices.py @@ -102,7 +102,7 @@ WRONG_OFFICE = { "BSalleGerardBauzil": {("Quang Anh", "Le")}, "B63": {("Médéric", "Fourmy")}, "B65": {("Thomas", "Flayols")}, - "B69.1": {("Guilhem", "Saurel"), ("Pierre", "Fernbach")}, + "B69.1": {("Pierre", "Fernbach")}, "B90": {("Nicolas", "Mansard")}, "B69.2": {("Dinh Vinh Thanh", "Nguyen"), ("Filip", "Becanovic")}, } -- GitLab