By the way, Jenkins will probably fail. It requires the fix I did in #617. I will test the PR locally and I will merge anyway.
[ Full content available at: https://github.com/apache/karaf/pull/615 ] This message was relayed via gitbox.apache.org for [email protected]
