Github user phunt commented on the issue:
https://github.com/apache/zookeeper/pull/501
I'm afraid this is no longer auto-merging, also the PR build failed on
jenkins with similar:
> Automatic merge failed; fix conflicts and then commit the result.
@nkalmar could you rebase this on latest master? Thanks.---
