[#10854] Update developers.json (#10855)

TEAMMATES · Dec 6, 2020 · 2c7d071 · 2c7d071
1 parent 1df3085
commit 2c7d071
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/src/web/data/developers.json b/src/web/data/developers.json
@@ -1368,6 +1368,10 @@
       "name": "Sanjeev Kumar",
       "username": "sanjeevbitx"
     },
+    {
+      "name": "Sanket",
+      "username": "sanket0354"
+    },
     {
       "name": "Savin Varshney",
       "username": "saav"