Skip to content

Rename the ".general" rules#2133

Open
ehuss wants to merge 1 commit intorust-lang:masterfrom
ehuss:rule-general
Open

Rename the ".general" rules#2133
ehuss wants to merge 1 commit intorust-lang:masterfrom
ehuss:rule-general

Commits

Commits on Jan 15, 2026