Skip to content

Conversation

@Jesse-Bakker
Copy link
Contributor

Fixes #6925

@lnicola
Copy link
Member

lnicola commented Dec 18, 2020

bors d+ with != for comparison (I see no reason to avoid it).

@bors
Copy link
Contributor

bors bot commented Dec 18, 2020

✌️ Jesse-Bakker can now approve this pull request. To approve and merge a pull request, simply reply with bors r+. More detailed instructions are available here.

@Jesse-Bakker Jesse-Bakker force-pushed the skip-merge-imports-attr branch from b0470d7 to 66ea5dc Compare December 18, 2020 14:09
@Jesse-Bakker Jesse-Bakker force-pushed the skip-merge-imports-attr branch from 66ea5dc to 700034b Compare December 18, 2020 14:29
@lnicola
Copy link
Member

lnicola commented Dec 18, 2020

bors r+

@bors bors bot merged commit 03c177a into rust-lang:master Dec 18, 2020
@bors
Copy link
Contributor

bors bot commented Dec 18, 2020

@Jesse-Bakker Jesse-Bakker deleted the skip-merge-imports-attr branch December 18, 2020 14:44
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.

Auto-importing puts import into a feature-gated import block.

3 participants