Skip to content

Conversation

RalfJung
Copy link
Member

Just to make the rust version jump in #984 smaller.

@RalfJung
Copy link
Member Author

@bors r+

@bors
Copy link
Contributor

bors commented Oct 12, 2019

📌 Commit 7f28d96 has been approved by RalfJung

@RalfJung
Copy link
Member Author

@bors r+

@bors
Copy link
Contributor

bors commented Oct 12, 2019

📌 Commit 19fb53e has been approved by RalfJung

@bors
Copy link
Contributor

bors commented Oct 12, 2019

⌛ Testing commit 19fb53e with merge c77f0ab...

bors added a commit that referenced this pull request Oct 12, 2019
hopefully harmless Rust bump

Just to make the rust version jump in #984 smaller.
@bors
Copy link
Contributor

bors commented Oct 12, 2019

☀️ Test successful - checks-travis, status-appveyor
Approved by: RalfJung
Pushing c77f0ab to master...

@bors bors merged commit 19fb53e into rust-lang:master Oct 12, 2019
@RalfJung RalfJung deleted the rustup2 branch October 14, 2019 20:32
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