Skip to content

Conversation

@pietroalbini
Copy link
Member

No description provided.

@pietroalbini
Copy link
Member Author

@bors r+

cc @zeegomo @spennydl who needed the version bump

@bors
Copy link
Contributor

bors commented Sep 23, 2019

📌 Commit b357212 has been approved by pietroalbini

bors added a commit that referenced this pull request Sep 23, 2019
@bors
Copy link
Contributor

bors commented Sep 23, 2019

⌛ Testing commit b357212 with merge 5cd4d01...

@bors
Copy link
Contributor

bors commented Sep 23, 2019

💔 Test failed - status-appveyor

@pietroalbini pietroalbini changed the title Bump rustwide to 0.3.0 Bump rustwide to 0.3.1 Sep 23, 2019
@pietroalbini
Copy link
Member Author

Well, let's bump to Rustwide 0.3.1 instead.

@bors r+

@bors
Copy link
Contributor

bors commented Sep 23, 2019

📌 Commit 7db72ea has been approved by pietroalbini

@bors
Copy link
Contributor

bors commented Sep 23, 2019

⌛ Testing commit 7db72ea with merge 92934ed...

bors added a commit that referenced this pull request Sep 23, 2019
@bors
Copy link
Contributor

bors commented Sep 23, 2019

☀️ Test successful - checks-travis, status-appveyor
Approved by: pietroalbini
Pushing 92934ed to master...

@bors bors merged commit 7db72ea into rust-lang:master Sep 23, 2019
@pietroalbini pietroalbini deleted the rustwide-030 branch September 23, 2019 10: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