Merge pull request rust-lang#1057 from rust-lang/add-oli-to-mods

rylev · web-flow · commit af9838d82ddd · 2023-08-29T14:43:18.000+02:00
Add Oli to mods
diff --git a/teams/mods.toml b/teams/mods.toml
@@ -5,6 +5,7 @@ leads = []
 members = [
     "technetos",
     "khionu",
+    "oli-obk",
 ]
 alumni = [
     "BurntSushi",
