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

2018-02-14 Thread anmolnar
Github user anmolnar commented on the issue:

https://github.com/apache/zookeeper/pull/463
  
Thanks @afine 
Hopefully the build goes green now.


---


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

2018-02-14 Thread 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.




---