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.

Sign up for GitHub

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

Jump to bottom

Template fix #921

Merged
merged 3 commits into from
Mar 30, 2017
Merged

Template fix #921

merged 3 commits into from
Mar 30, 2017

Conversation

kbknapp
Copy link
Member

@kbknapp kbknapp commented Mar 30, 2017 •
edited
Loading

Fixes BurntSushi/ripgrep#426 and BurntSushi/ripgrep#418

This change is Reviewable

@coveralls
Copy link

coveralls commented Mar 30, 2017 •
edited
Loading

Coverage Status

Coverage increased (+0.4%) to 91.884% when pulling aa16b77 on template-fix into f922b05 on master.

@kbknapp kbknapp force-pushed the template-fix branch 2 times, most recently from 5f27936 to eefb0cd Compare March 30, 2017 18:55
@coveralls
Copy link

coveralls commented Mar 30, 2017 •
edited
Loading

Coverage Status

Coverage increased (+0.4%) to 91.884% when pulling f93cadd on template-fix into f922b05 on master.

@kbknapp
Copy link
Member Author

kbknapp commented Mar 30, 2017

@homu r+

@homu
Copy link
Contributor

homu commented Mar 30, 2017

📌 Commit f93cadd has been approved by kbknapp

homu added a commit that referenced this pull request Mar 30, 2017
@homu
Auto merge of #921 - kbknapp:template-fix, r=kbknapp
080a9d8 
Template fix

Fixes BurntSushi/ripgrep#426 and BurntSushi/ripgrep#418

<!-- Reviewable:start -->
---
This change is [<img src="https://reviewable.io/review_button.svg" height="34" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/kbknapp/clap-rs/921)
<!-- Reviewable:end -->
@homu homu merged commit f93cadd into master Mar 30, 2017
@homu
Copy link
Contributor

homu commented Mar 30, 2017

⚡ Test exempted - status

@kbknapp kbknapp deleted the template-fix branch March 30, 2017 20:01
@kbknapp kbknapp mentioned this pull request Mar 31, 2017
Open
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@kbknapp @coveralls @homu