[GitHub] zookeeper issue #444: ZOOKEEPER-2955: Enable Clover code coverage report

2018-05-19 Thread phunt
Github user phunt commented on the issue: https://github.com/apache/zookeeper/pull/444 Please close this - another PR was merged that includes this change. Thanks! ---

[GitHub] zookeeper issue #444: ZOOKEEPER-2955: Enable Clover code coverage report

2018-04-25 Thread phunt
Github user phunt commented on the issue: https://github.com/apache/zookeeper/pull/444 Does this need to be updated to reflect #443 ? ---

[GitHub] zookeeper issue #444: ZOOKEEPER-2955: Enable Clover code coverage report

2018-01-17 Thread phunt
Github user phunt commented on the issue: https://github.com/apache/zookeeper/pull/444 I added comments on 443 ---