Skip to content

Add stable mir members to triagebot config#118016

Merged
bors merged 1 commit intorust-lang:masterfrom
celinval:main
Nov 18, 2023
Merged

Add stable mir members to triagebot config#118016
bors merged 1 commit intorust-lang:masterfrom
celinval:main

Commits

Commits on Nov 17, 2023