[#11919] Update developers.json

TEAMMATES · Aug 1, 2022 · 99ea528 · 99ea528
1 parent 54873fe
commit 99ea528
Showing 1 changed file with 20 additions and 0 deletions.
diff --git a/src/web/data/developers.json b/src/web/data/developers.json
@@ -533,6 +533,10 @@
       "name": "Divya Pandilla",
       "username": "pandilladivya"
     },
+    {
+      "name": "Dominic Lim",
+      "username": "domlimm"
+    },
     {
       "name": "Dominik Leszczenko",
       "username": "Praisey"
@@ -633,6 +637,10 @@
       "name": "Gaurav Khandelwal",
       "username": "gaurav122197"
     },
+    {
+      "name": "Gaurav Kumar Meena",
+      "username": "inifnite"
+    },
     {
       "name": "Gautam",
       "username": "savaliyagautam"
@@ -727,6 +735,10 @@
       "name": "Hiresh Trivedi",
       "username": "hiresh"
     },
+    {
+      "name": "Hoang Le Tri Cuong",
+      "username": "ErnestCuong"
+    },
     {
       "username": "hoanglan21"
     },
@@ -1818,6 +1830,10 @@
       "name": "Tan Xue Si",
       "username": "xeia"
     },
+    {
+      "name": "Tan Yi Guan",
+      "username": "tenebrius1"
+    },
     {
       "multiple": true,
       "name": "Tang Ning",
@@ -1861,6 +1877,10 @@
       "multiple": true,
       "name": "Teo Yock Swee Terence"
     },
+    {
+      "name": "Thikhina Bakmeedeniya",
+      "username": "thikhinab"
+    },
     {
       "multiple": true,
       "name": "Thng Kai Yuan",