Merge pull request #656 from rylev/remove-rylev-prioritization

Remove rylev from wg-prioritization
rust-lang · Oct 25, 2021 · c9d644d · c9d644d
2 parents 939eae4 + 1c926b5
commit c9d644d
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/teams/wg-prioritization.toml b/teams/wg-prioritization.toml
@@ -23,7 +23,6 @@ members = [
     "mstallmo",
     "o0Ignition0o",
     "pnkfelix",
-    "rylev",
     "spastorino",
     "Stupremee",
     "TaKO8Ki",