Skip to content

Rustup to rust-lang/rust#69674 - #5307

Merged
bors merged 1 commit into
rust-lang:masterfrom
JohnTitor:rename-method
Mar 12, 2020
Merged

Rustup to rust-lang/rust#69674#5307
bors merged 1 commit into
rust-lang:masterfrom
JohnTitor:rename-method

Conversation

@JohnTitor

Copy link
Copy Markdown
Member

changelog: none

@JohnTitor

Copy link
Copy Markdown
Member Author

cc rust-lang/rust#69957

@flip1995

Copy link
Copy Markdown
Member

@bors r+ p=1

Thanks!

@bors

bors commented Mar 12, 2020

Copy link
Copy Markdown
Contributor

📌 Commit 3e37766 has been approved by flip1995

@bors

bors commented Mar 12, 2020

Copy link
Copy Markdown
Contributor

⌛ Testing commit 3e37766 with merge b064ea8...

@bors

bors commented Mar 12, 2020

Copy link
Copy Markdown
Contributor

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

@bors
bors merged commit b064ea8 into rust-lang:master Mar 12, 2020
@JohnTitor
JohnTitor deleted the rename-method branch March 12, 2020 20:25
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