The PR is now available: https://github.com/geoserver/geoserver.github.io/pull/175 -- Jody Garnett
_______________________________________________ Geoserver-devel mailing list Geoserver-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/geoserver-devel