Skip to content
New issue

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

#

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

Already on GitHub? # to your account

Jump to bottom

Multiple query search #49966

Merged
merged 3 commits into from
Apr 17, 2018
Merged

Multiple query search #49966

merged 3 commits into from
Apr 17, 2018

Conversation

GuillaumeGomez
Copy link
Member

Part of #49757.

r? @QuietMisdreavus

@rust-highfive rust-highfive added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Apr 14, 2018
@pietroalbini pietroalbini mentioned this pull request Apr 16, 2018
Merged
@QuietMisdreavus
Copy link
Member

@bors r+

@bors
Copy link
Contributor

bors commented Apr 17, 2018

📌 Commit c83c7c9 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 Apr 17, 2018
GuillaumeGomez added a commit to GuillaumeGomez/rust that referenced this pull request Apr 17, 2018
@GuillaumeGomez
Rollup merge of rust-lang#49966 - GuillaumeGomez:comma-search, r=Quie…
7a6fad3 
…tMisdreavus

Multiple query search

Part of rust-lang#49757.

r? @QuietMisdreavus
@GuillaumeGomez GuillaumeGomez mentioned this pull request Apr 17, 2018
Merged
bors added a commit that referenced this pull request Apr 17, 2018
@bors
Auto merge of #50033 - GuillaumeGomez:rollup, r=GuillaumeGomez
9379bcd 
Rollup of 4 pull requests

Successful merges:

 - #49699 (Removed 'proc' from the reserved keywords list)
 - #49966 (Multiple query search)
 - #50013 (Remove no longer necessary comparison to Vec::splice.)
 - #50032 (rustdoc: Don't include private paths in all.html)

Failed merges:
@bors bors merged commit c83c7c9 into rust-lang:master Apr 17, 2018
@GuillaumeGomez GuillaumeGomez deleted the comma-search branch April 17, 2018 21:17
@notriddle notriddle mentioned this pull request Mar 1, 2023
Merged
# for free to join this conversation on GitHub. Already have an account? # to comment
Reviewers
No reviews
Assignees

@QuietMisdreavus QuietMisdreavus

Labels
S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion.
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
5 participants
@GuillaumeGomez @QuietMisdreavus @bors @pietroalbini @rust-highfive