Github user hanm commented on the issue:
https://github.com/apache/zookeeper/pull/556
>> As far as I remember Jenkins job finished successfully, but hasn't
updated this PR's status.
It could be an infrastructure issue that Jenkins job failed to post the
comment to github after it succeeded. If we still have to a link to that
Jenkins job, i can take a look. Anyway, it's green now, and this one is ready
to commit.---
