Github user ivmaykov commented on the issue:
https://github.com/apache/zookeeper/pull/709
@anmolnar could you merge this into master and branch-3.5?---
Github user ivmaykov commented on the issue:
https://github.com/apache/zookeeper/pull/709
@anmolnar could you merge this into master and branch-3.5?---