[GitHub] zookeeper pull request #428: fixes ZOOKEEPER-2951

[jorgheymans]

Github user jorgheymans closed the pull request at:

    https://github.com/apache/zookeeper/pull/428


---