[#11867] Update developers.json

TEAMMATES · Jun 19, 2022 · 70daf7c · 70daf7c
1 parent 59b66bc
commit 70daf7c
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/src/web/data/developers.json b/src/web/data/developers.json
@@ -1669,6 +1669,11 @@
       "multiple": true,
       "name": "Sim Shengming, Eugene"
     },
+    {
+      "multiple": true,
+      "name": "Sivayoga Subramanian",
+      "username": "sivayogasubramanian"
+    },
     {
       "multiple": true,
       "name": "Song Qiyue",