Comment behavior/rationale of check-partest-coverage.sh
Merge pull request #291 from gzm0/comment-partest-coverage

Comment behavior/rationale of check-partest-coverage.sh