[TEAMMATES#11647] Update developers

kaixin-hc · Mar 14, 2022 · fdfdcf1 · fdfdcf1
1 parent 720ea6d
commit fdfdcf1
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/web/data/developers.json b/src/web/data/developers.json
@@ -581,6 +581,7 @@
       "username": "felixinjapan"
     },
     {
+      "multiple": true,
       "name": "Fergus Mok",
       "username": "FergusMok"
     },