From 15d8e278ba1ebcfd41f6d0e6b3f150ada66d8507 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Peter=20M=C3=BCller?= Date: Thu, 11 May 2023 20:34:43 +0000 Subject: [PATCH] Run ./make.sh update-contributors MIME-Version: 1.0 Content-Type: text/plain; charset=utf8 Content-Transfer-Encoding: 8bit Signed-off-by: Peter Müller --- html/cgi-bin/credits.cgi | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/html/cgi-bin/credits.cgi b/html/cgi-bin/credits.cgi index 079fdf494e..88e832963b 100644 --- a/html/cgi-bin/credits.cgi +++ b/html/cgi-bin/credits.cgi @@ -80,12 +80,12 @@ Ben Schweikert, Daniel Weismüller, Peter Pfeiffer, Daniel Glanzmann, +Robin Roevens, Heiner Schmeling, Stephan Feddersen, -Robin Roevens, Stéphane Pautrel, -Tim FitzGeorge, Jon Murphy, +Tim FitzGeorge, Jan Lentfer, Marcus Scholz, Ersan Yildirim, -- 2.39.5