Skip to content

Rename references to multirust to rustup where applicable#1148

Merged
bors merged 2 commits intomasterfrom
db-rename-multirust-refs
Jun 10, 2017
Merged

Rename references to multirust to rustup where applicable#1148
bors merged 2 commits intomasterfrom
db-rename-multirust-refs

Conversation

@Diggsey
Copy link
Copy Markdown
Contributor

@Diggsey Diggsey commented Jun 3, 2017

r? @brson

@brson
Copy link
Copy Markdown
Contributor

brson commented Jun 9, 2017

@bors r+ awesome

@bors
Copy link
Copy Markdown
Contributor

bors commented Jun 9, 2017

📌 Commit 009239d has been approved by brson

@bors
Copy link
Copy Markdown
Contributor

bors commented Jun 9, 2017

⌛ Testing commit 009239d with merge 865c9c4...

bors added a commit that referenced this pull request Jun 9, 2017
…rson

Rename references to multirust to rustup where applicable

r? @brson
@bors
Copy link
Copy Markdown
Contributor

bors commented Jun 9, 2017

☔ The latest upstream changes (presumably #1156) made this pull request unmergeable. Please resolve the merge conflicts.

@bors
Copy link
Copy Markdown
Contributor

bors commented Jun 9, 2017

💔 Test failed - status-travis

@Diggsey
Copy link
Copy Markdown
Contributor Author

Diggsey commented Jun 10, 2017

@bors r=brson

@bors
Copy link
Copy Markdown
Contributor

bors commented Jun 10, 2017

📌 Commit 87d546f has been approved by brson

@bors
Copy link
Copy Markdown
Contributor

bors commented Jun 10, 2017

⌛ Testing commit 87d546f with merge 830e7eb...

bors added a commit that referenced this pull request Jun 10, 2017
…rson

Rename references to multirust to rustup where applicable

r? @brson
@bors
Copy link
Copy Markdown
Contributor

bors commented Jun 10, 2017

☀️ Test successful - status-appveyor, status-travis
Approved by: brson
Pushing 830e7eb to master...

@bors bors merged commit 87d546f into master Jun 10, 2017
@kinnison kinnison deleted the db-rename-multirust-refs branch April 15, 2019 06:43
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