[GitHub] zookeeper pull request #642: ZOOKEEPER-3151: test Jenkins. Don't merge.
Github user hanm closed the pull request at: https://github.com/apache/zookeeper/pull/642 ---
[GitHub] zookeeper pull request #642: ZOOKEEPER-3151: test Jenkins. Don't merge.
GitHub user hanm opened a pull request: https://github.com/apache/zookeeper/pull/642 ZOOKEEPER-3151: test Jenkins. Don't merge. You can merge this pull request into a Git repository by running: $ git pull https://github.com/hanm/zookeeper ZOOKEEPER-3151 Alternatively you can