Failure was bogus so I am merging these now.
On 27/06/18 08:39, Ben Caradoc-Davies wrote:
Didn't merge anything, as master is currently failing. The following PRs
can be merged when master is stable again:
*
https://github.com/geotools/geotools/pull/1942
*
https://github.com/geotools/ge
GeoTools / GeoServer Meeting 2018-06-26
Attending
Ben Caradoc-Davies
Torben Barsballe
Kevin Smith
Jukka Rahkonen
Jody Garnett
Agenda
*
GeoServer Travis CI instability
*
GeoServer vulnerabilities
*
Upgrade JTS to 1.15.0
Actions
*
PMC: Please vote on the GeoTool
