Rollup merge of rust-lang#127521 - spastorino:remove-myself-from-smir…

…-pings, r=lqd Remove spastorino from SMIR r? ``@oli-obk``
matthiaskrgr · Jul 9, 2024 · a815c0a · a815c0a
2 parents 1aaa174 + 4700b5b
commit a815c0a
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/triagebot.toml b/triagebot.toml
@@ -1050,7 +1050,6 @@ project-const-traits = [
 project-stable-mir = [
     "@celinval",
     "@oli-obk",
-    "@spastorino",
     "@ouz-a",
 ]