Skip to content

Add migration lint for 2024 prelude additions#125889

Merged
bors merged 1 commit intorust-lang:masterfrom Noratrieb:migrate-into-the-futureJul 28, 2024

Commits

Commits on Jul 28, 2024