From 7a337bc1f0c81bbbef26db9d6a53670bb9be1786 Mon Sep 17 00:00:00 2001
From: "allcontributors[bot]"
 <46447321+allcontributors[bot]@users.noreply.github.com>
Date: Sun, 29 Oct 2023 15:02:40 +0000
Subject: [PATCH] docs: update .all-contributorsrc

---
 .all-contributorsrc | 9 +++++++++
 1 file changed, 9 insertions(+)

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"
+      ]
     }
   ]
 }