Skip to content

Conversation

ebroto
Copy link
Contributor

@ebroto ebroto commented Oct 16, 2020

changelog: none

r? @ghost (master broken)

@ebroto
Copy link
Contributor Author

ebroto commented Oct 16, 2020

@bors r+

@bors
Copy link
Contributor

bors commented Oct 16, 2020

📌 Commit 701c7e2 has been approved by ebroto

@bors
Copy link
Contributor

bors commented Oct 16, 2020

⌛ Testing commit 701c7e2 with merge 81890c5...

@bors
Copy link
Contributor

bors commented Oct 16, 2020

☀️ Test successful - checks-action_dev_test, checks-action_remark_test, checks-action_test
Approved by: ebroto
Pushing 81890c5 to master...

@bors bors merged commit 81890c5 into rust-lang:master Oct 16, 2020
@ebroto ebroto deleted the bump_cargo_metadata branch October 16, 2020 20:42
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