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

Add Oli to mods
rust-lang · Aug 29, 2023 · af9838d · af9838d
2 parents 538e041 + c020f9a
commit af9838d
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/teams/mods.toml b/teams/mods.toml
@@ -5,6 +5,7 @@ leads = []
 members = [
     "technetos",
     "khionu",
+    "oli-obk",
 ]
 alumni = [
     "BurntSushi",