From abf9405a59656d4bd46685e256a2778579cf0601 Mon Sep 17 00:00:00 2001
From: luzfcb <luzfcb@users.noreply.github.com>
Date: Wed, 4 Jan 2023 15:33:47 +0000
Subject: [PATCH] Update Contributors

---
 .github/contributors.json | 5 +++++
 CONTRIBUTORS.md           | 7 +++++++
 2 files changed, 12 insertions(+)

diff --git a/.github/contributors.json b/.github/contributors.json
index 5c8b1f75..55a6df60 100644
--- a/.github/contributors.json
+++ b/.github/contributors.json
@@ -1332,5 +1332,10 @@
     "name": "TAKAHASHI Shuuji",
     "github_login": "shuuji3",
     "twitter_username": ""
+  },
+  {
+    "name": "Thomas Booij",
+    "github_login": "ThomasBooij95",
+    "twitter_username": ""
   }
 ]
\ No newline at end of file
diff --git a/CONTRIBUTORS.md b/CONTRIBUTORS.md
index dba721de..fbc8dd97 100644
--- a/CONTRIBUTORS.md
+++ b/CONTRIBUTORS.md
@@ -1706,6 +1706,13 @@ Listed in alphabetical order.
     </td>
     <td>thibault</td>
   </tr>
+  <tr>
+    <td>Thomas Booij</td>
+    <td>
+      <a href="https://github.com/ThomasBooij95">ThomasBooij95</a>
+    </td>
+    <td></td>
+  </tr>
   <tr>
     <td>Théo Segonds</td>
     <td>