Closed essal0815 closed 6 years ago
Totals | |
---|---|
Change from base Build 268: | 0.7% |
Covered Lines: | 762 |
Relevant Lines: | 1042 |
A quick notice: Github has Keywords that connect pull requests and issues. When you write fixes #issue
somewhere in the PR, the issue will be closed when the PR is accepted and github shows nice linkage between them. We should use that. I added the comment to your first post.
If checks pass, shall I merge ?
From my side, yes
fixes #82