Skip to content

Conversation

lnicola
Copy link
Member

@lnicola lnicola commented Oct 9, 2020

No description provided.

@lnicola
Copy link
Member Author

lnicola commented Oct 9, 2020

See rust-lang/cargo#8500.

@jonas-schievink
Copy link
Contributor

oh, nice!

bors r+

@bors
Copy link
Contributor

bors bot commented Oct 9, 2020

@bors bors bot merged commit b0eb01e into rust-lang:master Oct 9, 2020
@lnicola lnicola deleted the simplify-opts branch October 10, 2020 10:20
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