Skip to content

rustdoc: Clean up html::format::print_where_clause#95828

Merged
bors merged 1 commit intorust-lang:masterfrom
vacuus:rustdoc-print-where-clause
Apr 21, 2022
Merged

rustdoc: Clean up html::format::print_where_clause#95828
bors merged 1 commit intorust-lang:masterfrom
vacuus:rustdoc-print-where-clause

Conversation

@vacuus
Copy link
Contributor

@vacuus vacuus commented Apr 8, 2022

(Arguably) closes #95814

Loading
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

merged-by-bors This PR was explicitly merged by bors. S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. T-rustdoc Relevant to the rustdoc team, which will review and decide on the PR/issue.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Clean up librustdoc::html::format::print_where_clause

9 participants