Remove spastorino from SMIR

matthiaskrgr · Jul 9, 2024 · 4700b5b · 4700b5b
1 parent c3774be
commit 4700b5b
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/triagebot.toml b/triagebot.toml
@@ -1051,7 +1051,6 @@ project-const-traits = [
 project-stable-mir = [
     "@celinval",
     "@oli-obk",
-    "@spastorino",
     "@ouz-a",
 ]