bump #542

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

Merged

martin-henz merged 1 commit into master from 0431

Apr 14, 2020

Member

martin-henz commented Apr 14, 2020

No description provided.


          bump

843cf21

coveralls commented Apr 14, 2020

Pull Request Test Coverage Report for Build 2881

0 of 0 changed or added relevant lines in 0 files are covered.
No unchanged relevant lines lost coverage.
Overall coverage remained the same at 87.896%

Totals
Change from base Build 2878:	0.0%
Covered Lines:	5049
Relevant Lines:	5536

💛 - Coveralls

martin-henz merged commit 1d76060 into master

thomastanck deleted the 0431 branch

August 1, 2020 15:14

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

Labels

None yet