Remove myself from the contributor list.

Since I'm already on the author list.

diff --git a/9.4/paper.tex b/9.4/paper.tex
index 7486002cf1447031bcabb542eec37dd5f2a63d04..18811acae4a90a1fc81871d49737b55882378504 100644 (file)
--- a/9.4/paper.tex
+++ b/9.4/paper.tex
@@ -1165,7 +1165,6 @@ Jose E.       Roman,
 Raphael       Schoof,
 Magdalena     Schreter,
 Konrad        Simon,
-Simon         Sticko,
 Daniel        Sun,
 Kuljit S.     Virk,
 Michał        Wichrowski,