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/geotools/pull/1872
*
https://github.com/geotools/geotools/pull/1945
*
https://github.com/geotools/geotools/pull/1946
*
https://github.com/geotools/geotools/pull/1947
--
Ben Caradoc-Davies <b...@transient.nz>
Director
Transient Software Limited <https://transient.nz/>
New Zealand
------------------------------------------------------------------------------
Check out the vibrant tech community on one of the world's most
engaging tech sites, Slashdot.org! http://sdm.link/slashdot
_______________________________________________
GeoTools-Devel mailing list
GeoTools-Devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/geotools-devel
