Skip to content

bootstrap: Don't name things copy that are not copies#122590

Merged
bors merged 2 commits intorust-lang:masterfrom
Noratrieb:bootstrap-do-you-know-what-the-word-copy-means
Mar 16, 2024
Merged

bootstrap: Don't name things copy that are not copies#122590
bors merged 2 commits intorust-lang:masterfrom
Noratrieb:bootstrap-do-you-know-what-the-word-copy-means

Commits

Commits on Mar 16, 2024