Github user lvfangmin commented on the issue:
https://github.com/apache/zookeeper/pull/673
This seems able to be merged now, @anmolnar can you help merge it?---
Github user lvfangmin commented on the issue:
https://github.com/apache/zookeeper/pull/673
This seems able to be merged now, @anmolnar can you help merge it?---