Closed fzaninotto closed 2 months ago
This pull request's base commit is no longer the HEAD commit of its target branch. This means it includes changes from outside the original pull request, including, potentially, unrelated coverage changes.
Totals | |
---|---|
Change from base Build 9716866733: | 0.1% |
Covered Lines: | 282 |
Relevant Lines: | 293 |
@fzaninotto: thank you very much for all the effort made with your pull-requests!
Thank you for merging and releasing the changes so fast!
Closes #141