Skip to content

Remove unused indexes #1766

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

Merged
merged 1 commit into from
Jun 26, 2019
Merged

Conversation

sgrif
Copy link
Contributor

@sgrif sgrif commented Jun 14, 2019

Neither of these indexes have ever been scanned.

Neither of these indexes have ever been scanned.
@jtgeibel
Copy link
Member

@bors: r+

@bors
Copy link
Contributor

bors commented Jun 26, 2019

📌 Commit 75b06a7 has been approved by jtgeibel

bors added a commit that referenced this pull request Jun 26, 2019
Remove unused indexes

Neither of these indexes have ever been scanned.
@bors
Copy link
Contributor

bors commented Jun 26, 2019

⌛ Testing commit 75b06a7 with merge 9de5691...

@bors
Copy link
Contributor

bors commented Jun 26, 2019

☀️ Test successful - checks-travis
Approved by: jtgeibel
Pushing 9de5691 to master...

@bors bors merged commit 75b06a7 into rust-lang:master Jun 26, 2019
@sgrif sgrif deleted the sg-remove-unused-indexes branch August 14, 2019 17:28
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