Github user hanm commented on the issue:
https://github.com/apache/zookeeper/pull/582
thanks for quick work @eolivelli . I'll have a more close look on this
tomorrow.
Just quick comment - I am not sure if you can kick off jenkins by just add
a comment. You can kick jenkins bot either by pushing a new commit, or
close/repoen the pull request.---
