diff --git a/.all-contributorsrc b/.all-contributorsrc
index d6c71ea41..a3c7fb998 100644
--- a/.all-contributorsrc
+++ b/.all-contributorsrc
@@ -79,6 +79,15 @@
       "contributions": [
         "doc"
       ]
+    },
+    {
+      "login": "HansF",
+      "name": "Hans Fraiponts",
+      "avatar_url": "https://avatars.githubusercontent.com/u/1503?v=4",
+      "profile": "https://github.com/HansF",
+      "contributions": [
+        "doc"
+      ]
     }
   ]
 }