From a778e396bdb52fed0f1e62060ee86ec6f4242e3b Mon Sep 17 00:00:00 2001 From: =?utf8?q?Peter=20M=C3=BCller?= Date: Fri, 24 Nov 2023 13:24:04 +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 | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/html/cgi-bin/credits.cgi b/html/cgi-bin/credits.cgi index 2d9697a65d..04a81445d0 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, -Daniel Glanzmann, Robin Roevens, +Daniel Glanzmann, Heiner Schmeling, Stephan Feddersen, Stéphane Pautrel, @@ -143,6 +143,7 @@ Oliver Fuhrer, Osmar Gonzalez, Paul T. Simmons, Robert Möker, +Sebastien GISLAIN, Stefan Ernst, Stefan Ferstl, Steffen Klammer, -- 2.39.5