Skip to content

Conversation

kjeremy
Copy link
Contributor

@kjeremy kjeremy commented May 2, 2021

No description provided.

@kjeremy
Copy link
Contributor Author

kjeremy commented May 2, 2021

bors r+

@bors
Copy link
Contributor

bors bot commented May 2, 2021

@bors bors bot merged commit eb741e8 into rust-lang:master May 2, 2021
@kjeremy kjeremy deleted the update-deps branch May 2, 2021 19:29
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.

1 participant