Skip to content
This repository was archived by the owner on Dec 29, 2022. It is now read-only.

Conversation

@Xanewok
Copy link
Contributor

@Xanewok Xanewok commented Aug 11, 2019

Addresses rust-lang/vscode-rust#643.

Brings back removed option from #1509 but only not to trigger the unknown option warning.

@Xanewok
Copy link
Contributor Author

Xanewok commented Aug 11, 2019

Fixed formatting, let's see if bors is happy with new Azure CI checks:

@bors r+

@bors
Copy link
Contributor

bors commented Aug 11, 2019

📌 Commit f7fe8c8 has been approved by Xanewok

@bors
Copy link
Contributor

bors commented Aug 11, 2019

⌛ Testing commit f7fe8c8 with merge 9a91424...

bors added a commit that referenced this pull request Aug 11, 2019
Warn against deprecated config entries

Addresses rust-lang/vscode-rust#643.

Brings back removed option from #1509 but only not to trigger the unknown option warning.
@Xanewok
Copy link
Contributor Author

Xanewok commented Aug 11, 2019

@bors r-

@Xanewok
Copy link
Contributor Author

Xanewok commented Aug 11, 2019

@bors r+

@bors
Copy link
Contributor

bors commented Aug 11, 2019

📌 Commit 084803d has been approved by Xanewok

@bors
Copy link
Contributor

bors commented Aug 11, 2019

⌛ Testing commit 084803d with merge 7b0a20b...

bors added a commit that referenced this pull request Aug 11, 2019
Warn against deprecated config entries

Addresses rust-lang/vscode-rust#643.

Brings back removed option from #1509 but only not to trigger the unknown option warning.
@bors
Copy link
Contributor

bors commented Aug 11, 2019

☀️ Test successful - checks-azure
Approved by: Xanewok
Pushing 7b0a20b to master...

@bors bors merged commit 084803d into rust-lang:master Aug 11, 2019
@Xanewok Xanewok deleted the config branch August 11, 2019 18:58
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants