Update contributors.json (#89)

Co-authored-by: Sebastian Gollob <[email protected]>
Catrobat · Oct 30, 2023 · 7fa535d · 7fa535d
1 parent 8fdb41e
commit 7fa535d
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/_data/contributors.json b/_data/contributors.json
@@ -3173,6 +3173,11 @@
       "lastname": "Weilharter",
       "github": "hannesweilharter"
     },
+    {
+      "firstname": "Corinna",
+      "lastname": "Kindlhofer",
+      "github": "coki1405"
+    },
     {
       "firstname": "Dorian",
       "lastname": "Percic",