diff --git a/contributors.xml b/contributors.xml
index 4b7382602..4bdb38171 100644
--- a/contributors.xml
+++ b/contributors.xml
@@ -442,6 +442,10 @@
     <first>Gerrit</first>
     <last>Riessen</last>
   </name>
+  <name>
+    <first>Gilbert</first>
+    <last>Rebhan</last>
+  </name>
   <name>
     <first>Gilles</first>
     <last>Scokart</last>