Update wg-mir-opt.toml

rust-lang · Jan 14, 2021 · 93a1017 · 93a1017
1 parent 037a35f
commit 93a1017
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/teams/wg-mir-opt.toml b/teams/wg-mir-opt.toml
@@ -4,7 +4,7 @@ kind = "working-group"
 
 [people]
 leads = ["oli-obk"]
-members = ["oli-obk", "spastorino", "eddyb", "davidtwco", "wesleywiser", "vertexclique"]
+members = ["oli-obk", "spastorino", "eddyb", "davidtwco", "wesleywiser", "vertexclique", "tmiasko"]
 
 [[github]]
 orgs = ["rust-lang"]