Skip to content

fix(diag): Rename redundant_readme to manual_readme - #17288

Merged
ranger-ross merged 1 commit into
rust-lang:masterfrom
epage:readme
Jul 31, 2026
Merged

fix(diag): Rename redundant_readme to manual_readme#17288
ranger-ross merged 1 commit into
rust-lang:masterfrom
epage:readme

fix(diag): Rename redundant_readme to manual_readme

75cea7d
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
lint-docs
succeeded Jul 31, 2026 in 2m 6s