Unrolled build for rust-lang#127521

rust-timer · web-flow · commit 6fe6e6daf955 · 2024-07-10T04:50:34.000-04:00
Rollup merge of rust-lang#127521 - spastorino:remove-myself-from-smir-pings, r=lqd Remove spastorino from SMIR r? ```@oli-obk```
diff --git a/triagebot.toml b/triagebot.toml
@@ -1050,7 +1050,6 @@ project-const-traits = [
 project-stable-mir = [
     "@celinval",
     "@oli-obk",
-    "@spastorino",
     "@ouz-a",
 ]
 
