Thanks, I will review the background addition and make the change next
week.
Assuming this vote passed by then
On Fri, Jan 31, 2020 at 5:47 PM Torben Barsballe
wrote:
> Catching up on this - With all of Andrea's recent improvements most of my
> prior concerns about moving this to an extension
Catching up on this - With all of Andrea's recent improvements most of my
prior concerns about moving this to an extension are resolved.
I haven't used JaCoCo to check coverage since before the Java 9 upgrade,
and I'm pretty sure a bunch of important/related dependencies changed then,
so I don't
+1
Torben
On Thu, Jan 30, 2020 at 3:02 AM Ian Turton wrote:
> +1
>
> Ian
>
> On Thu, 30 Jan 2020 at 10:02, Daniele Romagnoli <
> daniele.romagn...@geo-solutions.it> wrote:
>
>> Hi,
>> sorry for crossposting but the 2 commits are strictly related since the
>> GEOS one requires the GEOT one and
