Github user lvfangmin commented on the issue:
https://github.com/apache/zookeeper/pull/685
Thanks Andor, I'll close this one.
---
Github user anmolnar commented on the issue:
https://github.com/apache/zookeeper/pull/685
This is merged. Thanks @lvfangmin !
Please close this PR.
---
Github user asfgit commented on the issue:
https://github.com/apache/zookeeper/pull/685
Refer to this link for build results (access rights to CI server needed):
https://builds.apache.org/job/PreCommit-ZOOKEEPER-github-pr-build/2570/
---