Skip to content

Conversation

@flodiebold
Copy link
Member

No description provided.

@flodiebold
Copy link
Member Author

Hmm actually maybe there's a better logic for this 🤔

@flodiebold
Copy link
Member Author

This might be slightly more correct now.

@flodiebold
Copy link
Member Author

bors r+

bors bot added a commit that referenced this pull request Oct 24, 2020
6337: Fix indentation of inserted use statements r=flodiebold a=flodiebold



Co-authored-by: Florian Diebold <florian.diebold@freiheit.com>
@bors
Copy link
Contributor

bors bot commented Oct 24, 2020

Build failed:

@flodiebold
Copy link
Member Author

bors r+

bors bot added a commit that referenced this pull request Oct 24, 2020
6337: Fix indentation of inserted use statements r=flodiebold a=flodiebold



Co-authored-by: Florian Diebold <florian.diebold@freiheit.com>
@bors
Copy link
Contributor

bors bot commented Oct 24, 2020

Build failed:

@flodiebold
Copy link
Member Author

🤔

bors r+

bors bot added a commit that referenced this pull request Oct 24, 2020
6337: Fix indentation of inserted use statements r=flodiebold a=flodiebold



Co-authored-by: Florian Diebold <florian.diebold@freiheit.com>
@bors
Copy link
Contributor

bors bot commented Oct 24, 2020

Build failed:

@flodiebold
Copy link
Member Author

Hrm. Sometimes these mark checks don't seem to fail for me locally.

@flodiebold
Copy link
Member Author

bors r+

@bors
Copy link
Contributor

bors bot commented Oct 24, 2020

@bors bors bot merged commit d5c294f into rust-lang:master Oct 24, 2020
@flodiebold flodiebold deleted the insert-use-indent branch October 24, 2020 16:33
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.

3 participants