bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

Remove spastorino from SMIR

Browse source
This commit is contained in:
Santiago Pastorino 2024-07-09 12:50:47 -03:00
parent c3774be741
commit 4700b5b01f
No known key found for this signature in database
GPG key ID: 8131A24E0C79EFAF
1 changed files with 0 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

1
triagebot.toml
View file

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