Skip to content

Add note to fix toolstate#4465

Merged
bors merged 1 commit into
rust-lang:masterfrom
JohnTitor:add-note-to-fix-toolstate
Aug 28, 2019
Merged

Add note to fix toolstate#4465
bors merged 1 commit into
rust-lang:masterfrom
JohnTitor:add-note-to-fix-toolstate

Conversation

@JohnTitor

@JohnTitor JohnTitor commented Aug 28, 2019

Copy link
Copy Markdown
Member

The idea from #4462 (comment)
It's nice that we have the documentation to guide fix toolstate.

changelog: none

Comment thread CONTRIBUTING.md Outdated
@JohnTitor JohnTitor force-pushed the add-note-to-fix-toolstate branch from e611a33 to a47f349 Compare August 28, 2019 13:07
Comment thread CONTRIBUTING.md Outdated
Comment thread CONTRIBUTING.md Outdated
Comment thread CONTRIBUTING.md
@JohnTitor JohnTitor force-pushed the add-note-to-fix-toolstate branch from a47f349 to 2c58936 Compare August 28, 2019 16:08
@flip1995

Copy link
Copy Markdown
Member

Thanks!

@bors r+

@bors

bors commented Aug 28, 2019

Copy link
Copy Markdown
Contributor

📌 Commit 2c58936 has been approved by flip1995

@bors

bors commented Aug 28, 2019

Copy link
Copy Markdown
Contributor

⌛ Testing commit 2c58936 with merge 4c8a941...

bors added a commit that referenced this pull request Aug 28, 2019
Add note to fix toolstate

The idea from #4462 (comment)
It's nice that we have the documentation to guide fix toolstate.

changelog: none
@bors

bors commented Aug 28, 2019

Copy link
Copy Markdown
Contributor

☀️ Test successful - checks-travis, status-appveyor
Approved by: flip1995
Pushing 4c8a941 to master...

@bors bors merged commit 2c58936 into rust-lang:master Aug 28, 2019
@JohnTitor JohnTitor deleted the add-note-to-fix-toolstate branch August 29, 2019 06: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.

4 participants