Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

rustup #2078

Merged
merged 1 commit into from
Apr 20, 2022
Merged

rustup #2078

merged 1 commit into from
Apr 20, 2022

Conversation

RalfJung
Copy link
Member

rust-lang/rust#93313 somehow made it so that this does not have to be mutable any more...

@RalfJung
Copy link
Member Author

@bors r+

@bors
Copy link
Contributor

bors commented Apr 20, 2022

📌 Commit 154f629 has been approved by RalfJung

bors added a commit that referenced this pull request Apr 20, 2022
rustup

rust-lang/rust#93313 somehow made it so that this does not have to be mutable any more...
@bors
Copy link
Contributor

bors commented Apr 20, 2022

⌛ Testing commit 154f629 with merge 4cf6cb3...

@RalfJung
Copy link
Member Author

@bors r+ retry

@bors
Copy link
Contributor

bors commented Apr 20, 2022

📌 Commit 432015d has been approved by RalfJung

@bors
Copy link
Contributor

bors commented Apr 20, 2022

⌛ Testing commit 432015d with merge edd4858...

@bors
Copy link
Contributor

bors commented Apr 20, 2022

☀️ Test successful - checks-actions
Approved by: RalfJung
Pushing edd4858 to master...

@bors bors merged commit edd4858 into rust-lang:master Apr 20, 2022
@RalfJung RalfJung deleted the rustup branch April 21, 2022 00:24
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