GitHub user eolivelli opened a pull request:
https://github.com/apache/zookeeper/pull/641
Test CI do not merge - trial 4
You can merge this pull request into a Git repository by running:
$ git pull https://github.com/eolivelli/zookeeper fix/testci4
Alternatively you can review and apply these changes as the patch at:
https://github.com/apache/zookeeper/pull/641.patch
To close this pull request, make a commit to your master/trunk branch
with (at least) the following in the commit message:
This closes #641
----
commit 23a087257a4ca29b4961433d0833620412b0ecd3
Author: Enrico Olivelli <eolivelli@...>
Date: 2018-09-23T05:23:52Z
Test CI do not merge
----
---
