Github user anmolnar commented on the issue:
https://github.com/apache/zookeeper/pull/699
Committed. Thanks @andreareale !
Please assign the jira to yourself and close this PR.---
Github user anmolnar commented on the issue:
https://github.com/apache/zookeeper/pull/699
Committed. Thanks @andreareale !
Please assign the jira to yourself and close this PR.---