diff --git a/.github/contributors.json b/.github/contributors.json
index b4f21eee..ec126d7c 100644
--- a/.github/contributors.json
+++ b/.github/contributors.json
@@ -1207,5 +1207,10 @@
     "name": "Fuzzwah",
     "github_login": "Fuzzwah",
     "twitter_username": ""
+  },
+  {
+    "name": "Thibault J.",
+    "github_login": "thibault",
+    "twitter_username": "thibault"
   }
 ]
\ No newline at end of file
diff --git a/CONTRIBUTORS.md b/CONTRIBUTORS.md
index a856a474..ccfbfb5d 100644
--- a/CONTRIBUTORS.md
+++ b/CONTRIBUTORS.md
@@ -1538,6 +1538,13 @@ Listed in alphabetical order.
     </td>
     <td></td>
   </tr>
+  <tr>
+    <td>Thibault J.</td>
+    <td>
+      <a href="https://github.com/thibault">thibault</a>
+    </td>
+    <td>thibault</td>
+  </tr>
   <tr>
     <td>Théo Segonds</td>
     <td>