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

add option not to destroy empty sessions #10

Merged

tflori merged 1 commit into master from feature-destroyEmpty

Oct 18, 2017

Owner

tflori commented Oct 18, 2017

solves #9


          add option not to destroy empty sessions

bd3e8e8

coveralls commented Oct 18, 2017

Coverage remained the same at 100.0% when pulling bd3e8e8 on feature-destroyEmpty into f58f6cc on master.

tflori merged commit 5a2627d into master

tflori deleted the feature-destroyEmpty branch

February 22, 2018 06:07

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment