Skip to content

Remove duplicated Flags methods.#155425

Merged
rust-bors[bot] merged 1 commit intorust-lang:mainfrom
nnethercote:rm-dup-Flags-methods
Apr 22, 2026
Merged

Remove duplicated Flags methods.#155425
rust-bors[bot] merged 1 commit intorust-lang:mainfrom
nnethercote:rm-dup-Flags-methods

Commits

Commits on Apr 20, 2026