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

Commits

Commits on Jul 31, 2026