chore: updated contributors list

2025-02-17 03:19:36 +01:00 · 2022-07-04 00:14:18 +00:00 · 2022-07-04 00:14:18 +00:00 · d7dec2695f
commit d7dec2695f
parent 9beb77a44e
2 changed files with 469 additions and 448 deletions
--- a/packages/plugins/ui-theme/src/App/Header/generated_contributors_list.json
+++ b/packages/plugins/ui-theme/src/App/Header/generated_contributors_list.json
@ -923,6 +923,10 @@
    "username": "tcort",
    "id": 216720
  },
+  {
+    "username": "thomir",
+    "id": 372783
+  },
  {
    "username": "Tiny-Fendy",
    "id": 8954107
--- a/packages/tools/docusaurus-plugin-contributors/src/contributors.json
+++ b/packages/tools/docusaurus-plugin-contributors/src/contributors.json