From ff12bfdae1c2c1e54da564fdd7da6783b5e30047 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Peter=20M=C3=BCller?= Date: Fri, 24 Nov 2023 13:39:45 +0000 Subject: [PATCH] Revert "Run ./make.sh update-contributors" This reverts commit a778e396bdb52fed0f1e62060ee86ec6f4242e3b. --- html/cgi-bin/credits.cgi | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/html/cgi-bin/credits.cgi b/html/cgi-bin/credits.cgi index 04a81445d0..2d9697a65d 100644 --- a/html/cgi-bin/credits.cgi +++ b/html/cgi-bin/credits.cgi @@ -79,8 +79,8 @@ Timo Eissler, Ben Schweikert, Daniel Weismüller, Peter Pfeiffer, -Robin Roevens, Daniel Glanzmann, +Robin Roevens, Heiner Schmeling, Stephan Feddersen, Stéphane Pautrel, @@ -143,7 +143,6 @@ Oliver Fuhrer, Osmar Gonzalez, Paul T. Simmons, Robert Möker, -Sebastien GISLAIN, Stefan Ernst, Stefan Ferstl, Steffen Klammer, -- 2.39.2