From bb088ccb8c6147c1733fb3beb72069725326f522 Mon Sep 17 00:00:00 2001 From: Peter Munch Date: Sat, 8 Jul 2023 18:43:34 +0200 Subject: [PATCH] Update names of contributors --- 9.5/paper.tex | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/9.5/paper.tex b/9.5/paper.tex index b2c4aa3..21215bb 100644 --- a/9.5/paper.tex +++ b/9.5/paper.tex @@ -1132,14 +1132,14 @@ Pengfei Jia, Tao Jin, Nils Margenberg, Luz Paz, -Laura Prieto, +Laura Prieto Saavedra, Sebastian Proell, Ce Qin, Oleg Rogozin, Andrew Salmon, Michael Schlottke-Lakemper, Christoph Schmidt, -Magdalena Schreter, +Magdalena Schreter-Fleischhacker, Richard Schussnig, Nils Schween, Ahmad Shahba, -- 2.39.5