Github user mkedwards commented on the issue:
https://github.com/apache/zookeeper/pull/719
Does this look fit to merge? I'm not a committer, so I'll need help
getting it merged. (The version targeted to branch-3.5 is #707.)---
Github user mkedwards commented on the issue:
https://github.com/apache/zookeeper/pull/719
Does this look fit to merge? I'm not a committer, so I'll need help
getting it merged. (The version targeted to branch-3.5 is #707.)---