Remove types adhoc group

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

View file

@ -1536,13 +1536,6 @@ mir-opt = [
"@wesleywiser",
"@saethlin",
]
types = [
"@jackh726",
"@lcnr",
"@oli-obk",
"@spastorino",
"@BoxyUwU",
]
borrowck = [
"@davidtwco",
"@matthewjasper"