Skip to content

MirPatch: Simplify new_local.#147868

Merged
bors merged 1 commit intorust-lang:masterfrom
cjgillot:patch-local
Oct 19, 2025
Merged

MirPatch: Simplify new_local.#147868
bors merged 1 commit intorust-lang:masterfrom
cjgillot:patch-local

Commits

Commits on Oct 19, 2025