Github user hanm commented on the issue:
https://github.com/apache/zookeeper/pull/612
Close and reopen the pull request could also trigger a build, which might
be more convenient than amending the commit.
For committers or those who have admin access to apache JIRA, just find the
job associated with the PR, and click the "Rebuild" button.---
