Skip to content

Conversation

GuillaumeGomez
Copy link
Member

Firefox (even though it worked) highlights it as red when you look at the source code because there is a missing whitespace.

r? @notriddle

@GuillaumeGomez GuillaumeGomez added T-rustdoc Relevant to the rustdoc team, which will review and decide on the PR/issue. A-rustdoc-ui Area: Rustdoc UI (generated HTML) labels Jul 26, 2021
@GuillaumeGomez
Copy link
Member Author

@bors: r=notriddle rollup

@bors
Copy link
Collaborator

bors commented Jul 26, 2021

📌 Commit b0e67d5 has been approved by notriddle

@bors bors added the S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. label Jul 26, 2021
bors added a commit to rust-lang-ci/rust that referenced this pull request Jul 26, 2021
…laumeGomez

Rollup of 8 pull requests

Successful merges:

 - rust-lang#87436 (Suggest `;` on parse error where applicable)
 - rust-lang#87444 (Flatten nested `format!` calls)
 - rust-lang#87447 (Miri: santiy check that null pointer can never have an AllocId)
 - rust-lang#87457 (freebsd remove compiler workaround.)
 - rust-lang#87458 (Fix help message for modification to &T created by &{t})
 - rust-lang#87464 (Remove unnecessary `structhead` parameter from `render_union`)
 - rust-lang#87473 (Notify the Rust 2021 edition working group in zulip of edition bugs)
 - rust-lang#87474 (Add missing whitespace after attribute in HTML template)

Failed merges:

r? `@ghost`
`@rustbot` modify labels: rollup
@bors bors merged commit 12c2092 into rust-lang:master Jul 27, 2021
@rustbot rustbot added this to the 1.56.0 milestone Jul 27, 2021
@GuillaumeGomez GuillaumeGomez deleted the missing-whitespace-after-attr branch July 27, 2021 07:52
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
A-rustdoc-ui Area: Rustdoc UI (generated HTML) 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.

4 participants