Github user enixon commented on the issue:
https://github.com/apache/zookeeper/pull/184
@anmolnar, We strongly agree that this PR should be merged. It has
performed well in our testing and has received extensive review at this point.
I'm pretty confident in its robustness.
Our ideal scenario would be that 184 gets merged and then 627 gets a proper
review. This would be made easier if we could stack pull requests or gracefully
extract @ivmaykov 's bug fix from the rest of the commits but in the absence of
those, I'd move for committing 184 and awareness that we have contributions to
add on top.
---
