Merge branch 'rma-master-patch-17294' into 'stable/nickel'

Update acknowledgement for Roma Maliach-Auguste

See merge request frama-c/frama-c!4392

doc/developer/developer.tex

@@ -53,7 +53,7 @@ and Virgile~Prevosto}
 \acknowledge{Boris Hollas}
 \acknowledge{Nikolaï Kosmatov}
 \acknowledge{Jean-Christophe Léchenet}
-\acknowledge{Romain Maliach-Auguste}
+\acknowledge{Roma Maliach-Auguste}
 \acknowledge{André Maroneze}
 \acknowledge{Benjamin Monate}
 \acknowledge{Yannick Moy}