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

Add no overlay option #2702

Merged
merged 5 commits into from
Jun 9, 2017
Merged

Add no overlay option #2702

merged 5 commits into from
Jun 9, 2017

Conversation

schmichael
Copy link
Member

Copy of #2694 with a merge conflict fix.

@schmichael schmichael merged commit 32804bd into master Jun 9, 2017
@schmichael schmichael deleted the add-no-overlay-option branch June 9, 2017 19:33
@schmichael
Copy link
Member Author

Thanks to @kmalec for the PR!

schmichael added a commit that referenced this pull request Jul 3, 2017
@github-actions
Copy link

github-actions bot commented Apr 1, 2023

I'm going to lock this pull request because it has been closed for 120 days ⏳. This helps our maintainers find and focus on the active contributions.
If you have found a problem that seems related to this change, please open a new issue and complete the issue template so we can capture all the details necessary to investigate further.

@github-actions github-actions bot locked as resolved and limited conversation to collaborators Apr 1, 2023
# for free to subscribe to this conversation on GitHub. Already have an account? #.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants