Skip to content

rustdoc: remove useless Symbol::is_empty checks.#138917

Merged
bors merged 1 commit intorust-lang:masterfrom
nnethercote:rustdoc-remove-useless
Mar 26, 2025

Commits

Commits on Mar 25, 2025