Skip to content

Remove redundant backtick in error message. - #72254

Merged
bors merged 1 commit into
rust-lang:masterfrom
ehuss:double-backtick
May 16, 2020
Merged

Remove redundant backtick in error message.#72254
bors merged 1 commit into
rust-lang:masterfrom
ehuss:double-backtick

Conversation

@ehuss

Copy link
Copy Markdown
Contributor

The value passed in already has backticks surrounding the text.

The value passed in already has backticks surrounding the text.
@rust-highfive

Copy link
Copy Markdown
Contributor

r? @eddyb

(rust_highfive has picked a reviewer for you, use r? to override)

@rust-highfiverust-highfive added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label May 16, 2020
@dtolnay

Copy link
Copy Markdown
Member

@bors r+

@bors

bors commented May 16, 2020

Copy link
Copy Markdown
Collaborator

📌 Commit 004f4f3 has been approved by dtolnay

@borsbors added S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. and removed S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. labels May 16, 2020
@ehuss

Copy link
Copy Markdown
ContributorAuthor

@bors rollup

@RalfJungRalfJung mentioned this pull request May 16, 2020
bors added a commit to rust-lang-ci/rust that referenced this pull request May 16, 2020
Rollup of 5 pull requests
Successful merges:
- rust-lang#72045 (Incomplete features can also be unsound)
- rust-lang#72047 (Literal error reporting cleanup)
- rust-lang#72060 (move `ty::List` into a new submodule)
- rust-lang#72094 (cmdline: Make target features individually overridable)
- rust-lang#72254 (Remove redundant backtick in error message.)
Failed merges:
r? @ghost
@bors
bors merged commit 12112f4 into rust-lang:masterMay 16, 2020
@dtolnaydtolnay assigned dtolnay and unassigned eddybMar 24, 2024
Sign up for freeto join this conversation on GitHub. Already have an account? Sign in to comment

Labels

S-waiting-on-borsStatus: Waiting on bors to run and complete tests. Bors will change the label on completion.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants

@ehuss@rust-highfive@dtolnay@bors@eddyb