GitHub user eolivelli opened a pull request:
https://github.com/apache/zookeeper/pull/638
This is only a test, do not merge! trial 3
You can merge this pull request into a Git repository by running:
$ git pull https://github.com/eolivelli/zookeeper fix/test-ci2
Alternatively
Github user eolivelli closed the pull request at:
https://github.com/apache/zookeeper/pull/638
---
GitHub user eolivelli reopened a pull request:
https://github.com/apache/zookeeper/pull/638
This is only a test, do not merge! trial 3
You can merge this pull request into a Git repository by running:
$ git pull https://github.com/eolivelli/zookeeper fix/test-ci2
Alternativel
Github user eolivelli closed the pull request at:
https://github.com/apache/zookeeper/pull/638
---