Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Rollup merge of rust-lang#125395 - madsmtm:fix-doc-summary, r=lqd
Remove unnecessary `.md` from the documentation sidebar Oversight from rust-lang#124772, caught in rust-lang#124772 (comment). r? weihanglo
- Loading branch information