Skip to content

Conversation

phansch
Copy link
Contributor

@phansch phansch commented Apr 26, 2020

cargo dev has been the replacement for a while, so I think we can
remove it now.

cc #5394

changelog: none

`cargo dev` has been the replacement for a while, so I think we can
remove it now.

cc rust-lang#5394
@phansch phansch added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties label Apr 26, 2020
@flip1995
Copy link
Member

@bors r+

@bors
Copy link
Contributor

bors commented Apr 26, 2020

📌 Commit 8d596ea has been approved by flip1995

@bors
Copy link
Contributor

bors commented Apr 26, 2020

⌛ Testing commit 8d596ea with merge 87a6f3f...

@bors
Copy link
Contributor

bors commented Apr 26, 2020

☀️ Test successful - checks-action_dev_test, checks-action_remark_test, checks-action_test
Approved by: flip1995
Pushing 87a6f3f to master...

@bors bors merged commit 87a6f3f into rust-lang:master Apr 26, 2020
@phansch phansch deleted the remove-util-dev branch June 1, 2020 08:42
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
S-waiting-on-review Status: Awaiting review from the assignee but also interested parties
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants