Skip to content

Remove smir from triage and add me to stablemir#117074

Merged
bors merged 1 commit intorust-lang:masterfrom
ouz-a:remove_smir
Oct 24, 2023
Merged

Remove smir from triage and add me to stablemir#117074
bors merged 1 commit intorust-lang:masterfrom
ouz-a:remove_smir

Commits

Commits on Oct 23, 2023