Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Fix useless_format suggestions #3808

Merged
merged 1 commit into from Feb 25, 2019
Merged

Fix useless_format suggestions #3808

merged 1 commit into from Feb 25, 2019

Conversation

ghost
Copy link

@ghost ghost commented Feb 24, 2019

No description provided.

@phansch
Copy link
Member

phansch commented Feb 24, 2019

Blocked on #3790

@phansch phansch added the S-blocked Status: marked as blocked ❌ on something else such as an RFC or other implementation work label Feb 24, 2019
@oli-obk oli-obk closed this Feb 25, 2019
@oli-obk oli-obk reopened this Feb 25, 2019
@phansch phansch removed the S-blocked Status: marked as blocked ❌ on something else such as an RFC or other implementation work label Feb 25, 2019
@oli-obk
Copy link
Contributor

oli-obk commented Feb 25, 2019

@bors r+

@bors
Copy link
Contributor

bors commented Feb 25, 2019

📌 Commit 0182a66 has been approved by oli-obk

bors added a commit that referenced this pull request Feb 25, 2019
@bors
Copy link
Contributor

bors commented Feb 25, 2019

⌛ Testing commit 0182a66 with merge e9c87bb...

@bors
Copy link
Contributor

bors commented Feb 25, 2019

💥 Test timed out

@phansch
Copy link
Member

phansch commented Feb 25, 2019

@bors retry

bors added a commit that referenced this pull request Feb 25, 2019
@bors
Copy link
Contributor

bors commented Feb 25, 2019

⌛ Testing commit 0182a66 with merge 50d9473...

@bors
Copy link
Contributor

bors commented Feb 25, 2019

☀️ Test successful - checks-travis, status-appveyor
Approved by: oli-obk
Pushing 50d9473 to master...

@bors bors merged commit 0182a66 into rust-lang:master Feb 25, 2019
@ghost ghost deleted the useless-format-suggestions branch May 11, 2019 08:07
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