Github user phunt commented on the issue:
https://github.com/apache/zookeeper/pull/362
I'm afraid the history was deleted on the Jenkins service. Can you resubmit
the PR? Perhaps just rebase it to the current branch head and re-submit. That
should kick off a Jenkins build.---
