Skip to content

Conversation

GuillaumeGomez
Copy link
Member

@rust-highfive rust-highfive added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Aug 21, 2018
@QuietMisdreavus
Copy link
Contributor

Cool, thanks for doing this!

@bors r+

@bors
Copy link
Collaborator

bors commented Aug 24, 2018

📌 Commit e87b4b3 has been approved by QuietMisdreavus

@bors bors added S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. and removed S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. labels Aug 24, 2018
@bors
Copy link
Collaborator

bors commented Aug 25, 2018

⌛ Testing commit e87b4b3 with merge f87d913...

bors added a commit that referenced this pull request Aug 25, 2018
…etMisdreavus

Search a substring instead of start of string in rustdoc search

Fixes #49762.

r? @QuietMisdreavus
@bors
Copy link
Collaborator

bors commented Aug 25, 2018

☀️ Test successful - status-appveyor, status-travis
Approved by: QuietMisdreavus
Pushing f87d913 to master...

@bors bors merged commit e87b4b3 into rust-lang:master Aug 25, 2018
@GuillaumeGomez GuillaumeGomez deleted the rustdoc-substring-search branch August 25, 2018 09:48
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants