--- a/src/Pure/General/mailman.scala Wed Dec 15 12:41:33 2021 +0100
+++ b/src/Pure/General/mailman.scala Wed Dec 15 13:07:49 2021 +0100
@@ -23,6 +23,7 @@
private val standard_name: Map[String, String] =
Map(
+ "121171528@qq.com" -> "Guo Fan\n121171528@qq.com",
"Aman Pohjola, Johannes (Data61, Kensington NSW)" -> "Johannes Aman Pohjola",
"Andrei de AraÃjo Formiga" -> "Andrei de Araujo Formiga",
"Benedikt.AHRENS@unice.fr" -> "Benedikt Ahrens\nBenedikt.AHRENS@unice.fr",
@@ -87,6 +88,8 @@
"Markus" -> "",
"Marmsoler, Diego" -> "Diego Marmsoler",
"Martin Klebermass" -> "Martin Klebermaß",
+ "Martyn Johnson via RT" -> "",
+ "Mathias.Fleury@ens-rennes.fr" -> "Mathias Fleury\nmathias.fleury12@gmail.com",
"Matthew" -> "",
"Matthews, John R" -> "John Matthews",
"McCarthy, Jim (C3ID)" -> "Jim McCarthy",
@@ -105,6 +108,7 @@
"Omar Montano Rivas" -> "Omar Montaño Rivas",
"Omar MontaÃo Rivas" -> "Omar Montaño Rivas",
"OndÅej KunÄar" -> "Ondřej Kunčar",
+ "PALMER Jake" -> "Jake Palmer",
"PAQUI LUCIO" -> "Paqui Lucio",
"Pal, Abhik" -> "Abhik Pal",
"Pasupuleti, Vijay" -> "Vijay Pasupuleti",
@@ -112,6 +116,7 @@
"Peter" -> "",
"Philipp Ruemmer" -> "Philipp Rümmer",
"Philipp RÃmmer" -> "Philipp Rümmer",
+ "Piete Brooks via RT" -> "",
"RTA publicity chair" -> "",
"Raamsdonk, F. van" -> "Femke van Raamsdonk",
"Raul Gutierrez" -> "Raúl Gutiérrez",
@@ -133,6 +138,7 @@
"Thomas Arthur Leck Sewell" -> "Thomas Sewell",
"Thomas Goethel" -> "Thomas Göthel",
"Thomas.Sewell@data61.csiro.au" -> "Thomas Sewell\nThomas.Sewell@data61.csiro.au",
+ "Tjark Weber via RT" -> "Tjark Weber",
"Toby.Murray@data61.csiro.au" -> "Toby Murray\nToby.Murray@data61.csiro.au",
"Urban, Christian" -> "Christian Urban",
"Ursula Eschbach" -> "",
@@ -161,6 +167,7 @@
"geng chen" -> "Geng Chen",
"henning.seidler" -> "Henning Seidler",
"hkb" -> "Hidetsune Kobayashi",
+ "jobs-pm@inf.ethz.ch" -> "",
"julien@RadboudUniversity" -> "",
"jun sun" -> "Jun Sun",
"jwang whu.edu.cn (jwang)" -> "jwang",
@@ -171,15 +178,20 @@
"manish surolia" -> "Manish Surolia",
"mantel" -> "Heiko Mantel",
"marco caminati" -> "Marco Caminati",
+ "mathias.fleury@ens-rennes.fr" -> "Mathias Fleury\nmathias.fleury12@gmail.com",
"merz@loria.fr" -> "stephan.merz@loria.fr",
"michel levy" -> "Michel Levy",
"michel.levy2009@laposte.net" -> "Michel Levy\nmichel.levy2009@laposte.net",
"nemouchi" -> "Yakoub Nemouchi",
+ "noam neer" -> "Noam Neer",
+ "olfa mraihi" -> "Olfa Mraihi",
+ "pathsnottakenworkshop@gmail.com" -> "Leo Freitas\nleo.freitas@newcastle.ac.uk",
"patrick barlatier" -> "Patrick Barlatier",
"patrick dabou" -> "Patrick Dabou",
"paul zimmermann" -> "Paul Zimmermann",
"popescu2@illinois.edu" -> "Andrei Popescu",
"recruiting" -> "",
+ "recruiting@mais.informatik.tu-darmstadt.de" -> "",
"roux cody" -> "Cody Roux",
"scott constable" -> "Scott Constable",
"superuser@mattweidner.com" -> "Matthew Weidner\nsuperuser@mattweidner.com",