Skip to content

cleanup promoteds move check#134455

Merged
bors merged 1 commit intorust-lang:masterfrom
lcnr:move-errors-in-promoteds
Jan 18, 2025

Commits

Commits on Dec 20, 2024