Skip to content

mdbook-trpl-listing: Add missing elided lifetimes#3995

Merged
chriskrycho merged 1 commit into
rust-lang:mainfrom
ehuss:elided_lifetimes_in_paths
Jul 31, 2024
Merged

mdbook-trpl-listing: Add missing elided lifetimes#3995
chriskrycho merged 1 commit into
rust-lang:mainfrom
ehuss:elided_lifetimes_in_paths

Commits

Commits on Jul 29, 2024