Add saethlin to wg-mir-opt ping group and remove vertexclique

rust-lang · Jun 23, 2023 · fcf07f9 · fcf07f9
1 parent bacb22f
commit fcf07f9
Showing 1 changed file with 9 additions and 1 deletion.
diff --git a/teams/wg-mir-opt.toml b/teams/wg-mir-opt.toml
@@ -4,7 +4,15 @@ kind = "working-group"
 
 [people]
 leads = ["oli-obk"]
-members = ["oli-obk", "spastorino", "eddyb", "davidtwco", "wesleywiser", "vertexclique", "JakobDegen"]
+members = [
+    "oli-obk",
+    "spastorino",
+    "eddyb",
+    "davidtwco",
+    "wesleywiser",
+    "JakobDegen",
+    "saethlin",
+]
 
 [[github]]
 orgs = ["rust-lang"]