Remove project-const-traits adhoc group

This commit is contained in:
Jakub Beránek 2026-02-08 09:22:24 +01:00
parent 6b1ed212b7
commit c19c780d45
No known key found for this signature in database
GPG key ID: 909CD0D26483516B

View file

@ -1555,11 +1555,6 @@ style-team = [
"@joshtriplett",
"@traviscross",
]
project-const-traits = [
"@fee1-dead",
"@fmease",
"@oli-obk",
]
project-stable-mir = [
"@celinval",
"@oli-obk",