Revert "Run ./make.sh update-contributors"

This reverts commit a778e396bdb52fed0f1e62060ee86ec6f4242e3b.

diff --git a/html/cgi-bin/credits.cgi b/html/cgi-bin/credits.cgi
index 04a81445d043aedd6aec8bfa7ad89e1645f1fdd6..2d9697a65d6ed5f427a0ef67a086ed76d97d0ed5 100644 (file)
--- 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,