diff --git a/.github/contributors.json b/.github/contributors.json
index 4419e262..f7f31daa 100644
--- a/.github/contributors.json
+++ b/.github/contributors.json
@@ -1423,5 +1423,10 @@
     "name": "Imran Rahman",
     "github_login": "infraredCoding",
     "twitter_username": ""
+  },
+  {
+    "name": "hleroy",
+    "github_login": "hleroy",
+    "twitter_username": ""
   }
 ]
\ No newline at end of file
diff --git a/CONTRIBUTORS.md b/CONTRIBUTORS.md
index 4941f07f..35ab20aa 100644
--- a/CONTRIBUTORS.md
+++ b/CONTRIBUTORS.md
@@ -936,6 +936,13 @@ Listed in alphabetical order.
     </td>
     <td></td>
   </tr>
+  <tr>
+    <td>hleroy</td>
+    <td>
+      <a href="https://github.com/hleroy">hleroy</a>
+    </td>
+    <td></td>
+  </tr>
   <tr>
     <td>Hoai-Thu Vuong</td>
     <td>