Skip to content

Conversation

matthiaskrgr
Copy link
Member

changelog: none

@matthiaskrgr matthiaskrgr reopened this Mar 16, 2020
@phansch phansch closed this Mar 16, 2020
@phansch phansch reopened this Mar 16, 2020
@matthiaskrgr
Copy link
Member Author

Ah there is some dogfood failure that I didn't see.

@matthiaskrgr
Copy link
Member Author

should be good to go now

@phansch
Copy link
Contributor

phansch commented Mar 16, 2020

@bors r+

@bors
Copy link
Contributor

bors commented Mar 16, 2020

📌 Commit ba0884b has been approved by phansch

@bors
Copy link
Contributor

bors commented Mar 16, 2020

⌛ Testing commit ba0884b with merge d556bb7...

@bors
Copy link
Contributor

bors commented Mar 16, 2020

☀️ Test successful - checks-action_dev_test, checks-action_remark_test, checks-action_test
Approved by: phansch
Pushing d556bb7 to master...

@bors bors merged commit d556bb7 into rust-lang:master Mar 16, 2020
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