Github user hanm commented on the issue:
https://github.com/apache/zookeeper/pull/512
This is already committed in
https://github.com/apache/zookeeper/commit/088dfdf188663f6bad79b0e87b710737b318537d,
https://github.com/apache/zookeeper/commit/c86349060274e18ce9f839cd6a50fe5f34000edd,
https://github.com/apache/zookeeper/commit/a09a67971d7aaa31617988a188501b855e3e59f2.
Please close this pull request manually @lavacat
(usually the pull request will be automatically closed if using merge
script, but Alex committed these manually.).---
