Skip to content

Remove rules from names intro - #2060

Merged
traviscross merged 1 commit into
rust-lang:masterfrom
ehuss:remove-names-rules
Oct 24, 2025
Merged

Remove rules from names intro#2060
traviscross merged 1 commit into
rust-lang:masterfrom
ehuss:remove-names-rules

Commits

Commits on Oct 24, 2025