Skip to content

Allow clippy::doc_markdown#121

Merged
bors merged 1 commit into
rust-lang:masterfrom
Amanieu:fix_ci3
Oct 15, 2019
Merged

Allow clippy::doc_markdown#121
bors merged 1 commit into
rust-lang:masterfrom
Amanieu:fix_ci3

Conversation

@Amanieu

@Amanieu Amanieu commented Oct 12, 2019

Copy link
Copy Markdown
Member

No description provided.

@Amanieu

Amanieu commented Oct 12, 2019

Copy link
Copy Markdown
Member Author

Blocked on rust-lang/rust#65335

@Amanieu

Amanieu commented Oct 15, 2019

Copy link
Copy Markdown
Member Author

@bors r+

@bors

bors commented Oct 15, 2019

Copy link
Copy Markdown
Contributor

📌 Commit f121d02 has been approved by Amanieu

@bors

bors commented Oct 15, 2019

Copy link
Copy Markdown
Contributor

⌛ Testing commit f121d02 with merge a9bdbe3...

bors added a commit that referenced this pull request Oct 15, 2019
@bors

bors commented Oct 15, 2019

Copy link
Copy Markdown
Contributor

☀️ Test successful - checks-travis
Approved by: Amanieu
Pushing a9bdbe3 to master...

@bors bors merged commit f121d02 into rust-lang:master Oct 15, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants