Github user anmolnar commented on the issue:
https://github.com/apache/zookeeper/pull/689
@tumativ I'll merge it once the build is green. I know this is blocked by
an issue on master, but we should all feel the pain and resolve it asap.---
