Skip to content

Avoid duplicated query modifier comments.#153428

Merged
rust-bors[bot] merged 1 commit intorust-lang:mainfrom
nnethercote:fix-query-comments
Mar 13, 2026
Merged

Avoid duplicated query modifier comments.#153428
rust-bors[bot] merged 1 commit intorust-lang:mainfrom
nnethercote:fix-query-comments

Commits

Commits on Mar 13, 2026