[#10627] Update developers.json (#10629)

TEAMMATES · Aug 23, 2020 · 7c0bb45 · 7c0bb45
1 parent 21a7a05
commit 7c0bb45
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/src/web/data/developers.json b/src/web/data/developers.json
@@ -813,6 +813,10 @@
       "name": "Komal Parmaar",
       "username": "ParmaarK"
     },
+    {
+      "name": "Konstantinidis Konstantinos",
+      "username": "konkos"
+    },
     {
       "name": "Krishnakantah Jayashree Chnadrashekhar",
       "username": "kjayashr"