From 2c7d0715b488d319a9ee95e13a05f082d84236bb Mon Sep 17 00:00:00 2001
From: Ahmed Bahajjaj <Ahmed_Bahajjaj@u.nus.edu>
Date: Sun, 6 Dec 2020 22:27:40 +0800
Subject: [PATCH] [#10854] Update developers.json (#10855)

---
 src/web/data/developers.json | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/web/data/developers.json b/src/web/data/developers.json
index 59c55528dc1..f941e06661d 100644
--- 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"