mathieu/granite-rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

Rollup merge of #127521 - spastorino:remove-myself-from-smir-pings, r=lqd

Browse source 
Remove spastorino from SMIR

r? ```@oli-obk```
This commit is contained in:
Jacob Pratt 2024-07-10 00:37:13 -04:00 • committed by GitHub
commit 103a77202a
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 0 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
triagebot.toml
View file

@ -1050,7 +1050,6 @@ project-const-traits = [
project-stable-mir = [
"@celinval",
"@oli-obk",
"@spastorino",
"@ouz-a",
]