Hi Robert, On Fri, Oct 6, 2017 at 4:00 PM, Robert Munteanu <[email protected]> wrote: > ...I introduced these changes when deploying via the Maven plugin...
Ok, fine with me as long as that's stable - I tried to have a single commit with all these whitespace changes, to keep diffs clean. -Bertrand
