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.

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

Use region when there is a selection #71

Merged
merged 2 commits into from
Aug 8, 2016
Merged

Use region when there is a selection #71

merged 2 commits into from
Aug 8, 2016

Conversation

jacktasia
Copy link
Owner

As requested in #66

@coveralls
Copy link

coveralls commented Aug 8, 2016

Coverage Status

Coverage remained the same at 100.0% when pulling 4537349 on issue-66 into 8dd7f7b on master.

@jacktasia jacktasia merged commit e98432b into master Aug 8, 2016
@jacktasia jacktasia deleted the issue-66 branch August 9, 2016 05:47
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.

None yet

2 participants