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

Reply via email to