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

fixed #713 #761

Merged

lukasoppermann merged 1 commit into master from fix-#713

Jun 15, 2021

Owner

lukasoppermann commented Jun 15, 2021

This fixes #713


          fixed #713

7ea742c

coveralls commented Jun 15, 2021

Coverage remained the same at 86.424% when pulling 7ea742c on fix-#713 into 2b9ec88 on master.

lukasoppermann merged commit dbd417c into master

lukasoppermann deleted the fix-#713 branch

June 15, 2021 19:57

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

Labels

None yet