Skip to content

Conversation

@therealprof
Copy link
Contributor

Signed-off-by: Daniel Egger [email protected]

@therealprof therealprof requested a review from a team as a code owner October 4, 2020 22:04
@rust-highfive
Copy link

r? @burrbull

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

@rust-highfive rust-highfive added S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. T-tools labels Oct 4, 2020
Signed-off-by: Daniel Egger <[email protected]>
Copy link
Member

@adamgreig adamgreig left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

bors r+

@bors bors bot merged commit 9718140 into master Oct 7, 2020
@bors bors bot deleted the clippy-lint-fixes branch October 7, 2020 00:03
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. T-tools

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants