[GitHub] zookeeper issue #463: ZOOKEEPER-2981 Fix build on branch-3.5

[afine]

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.
    



---