Skip to content

use official/formal name for rustc-dev-guide#989

Merged
GuillaumeGomez merged 1 commit intomasterfrom
tshepang-patch-2
Dec 25, 2025
Merged

use official/formal name for rustc-dev-guide#989
GuillaumeGomez merged 1 commit intomasterfrom
tshepang-patch-2

Commits

Commits on Dec 24, 2025