Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

make lint on-by-default/implied-by messages appear only once #42919

Merged

Conversation

zackmdavis
Copy link
Member

From review discussion on #38103 (#38103 (comment)).

we_heard

r? @nikomatsakis

@arielb1 arielb1 added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Jun 27, 2017
@arielb1
Copy link
Contributor

arielb1 commented Jun 27, 2017

r? @eddyb

@eddyb
Copy link
Member

eddyb commented Jun 28, 2017

@bors r+

@bors
Copy link
Contributor

bors commented Jun 28, 2017

📌 Commit 32b8579 has been approved by eddyb

@arielb1
Copy link
Contributor

arielb1 commented Jun 29, 2017

@bors rollup

arielb1 pushed a commit to arielb1/rust that referenced this pull request Jun 29, 2017
bors added a commit that referenced this pull request Jun 29, 2017
Rollup of 12 pull requests

- Successful merges: #42219, #42831, #42832, #42884, #42886, #42901, #42919, #42920, #42946, #42953, #42955, #42958
- Failed merges:
@bors bors merged commit 32b8579 into rust-lang:master Jun 29, 2017
@zackmdavis zackmdavis deleted the once_again_we_heard_you_the_first_time branch January 13, 2018 07:43
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
S-waiting-on-review Status: Awaiting review from the assignee but also interested parties.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

5 participants