Mauro,

I see you have issued the GeoTools pull request for GEOT-4386:
https://github.com/geotools/geotools/pull/135

I have issued the corresponding one for GeoServer (required to not break 
the build):
https://github.com/geoserver/geoserver/pull/152

I would merge both now but I am just about to leave the office and 
prefer not to merge and run.  :-)

Justin, Andrea, or anyone else willing to clean up if things go wrong, 
please feel free to merge these two. Otherwise, I will merge them 
tomorrow morning (UTC+8).

Kind regards,

-- 
Ben Caradoc-Davies <ben.caradoc-dav...@csiro.au>
Software Engineer
CSIRO Earth Science and Resource Engineering
Australian Resources Research Centre

------------------------------------------------------------------------------
Everyone hates slow websites. So do we.
Make your web apps faster with AppDynamics
Download AppDynamics Lite for free today:
http://p.sf.net/sfu/appdyn_d2d_feb
_______________________________________________
GeoTools-Devel mailing list
GeoTools-Devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/geotools-devel

Reply via email to