Github user afine commented on the issue:

    https://github.com/apache/zookeeper/pull/463
  
    Thanks @anmolnar 
    
    This has been merged. For whatever reason the merge script decided not to 
close this PR so please do that.
    



---

Reply via email to