Skip to content

Commit

Permalink
Rollup merge of rust-lang#127521 - spastorino:remove-myself-from-smir…
Browse files Browse the repository at this point in the history
…-pings, r=lqd

Remove spastorino from SMIR

r? ````@oli-obk````
  • Loading branch information
matthiaskrgr committed Jul 10, 2024
2 parents ecf8b22 + 4700b5b commit ec1323d
Showing 1 changed file with 0 additions and 1 deletion.
1 change: 0 additions & 1 deletion triagebot.toml
Original file line number Diff line number Diff line change
Expand Up @@ -1050,7 +1050,6 @@ project-const-traits = [
project-stable-mir = [
"@celinval",
"@oli-obk",
"@spastorino",
"@ouz-a",
]

Expand Down

0 comments on commit ec1323d

Please sign in to comment.