add oli to mods

rust-lang · Aug 28, 2023 · 7b3626c · 7b3626c
1 parent 538e041
commit 7b3626c
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/teams/mods.toml b/teams/mods.toml
@@ -3,6 +3,7 @@ name = "mods"
 [people]
 leads = []
 members = [
+    "oli-obk",
     "technetos",
     "khionu",
 ]