[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. ---