There are four PRs up at https://github.com/geoserver/geoserver.github.io/pulls - at least https://github.com/geoserver/geoserver.github.io/pull/31 and https://github.com/geoserver/geoserver.github.io/pull/32 should be OK to go in. They have user effect - we're publishing broken / bad links.
The others may be OK too, but I didn't review them. I'd do it if I had permissions, but as an interim, can someone with more karma do the merges? Brad ------------------------------------------------------------------------------ Find and fix application performance issues faster with Applications Manager Applications Manager provides deep performance insights into multiple tiers of your business applications. It resolves application problems quickly and reduces your MTTR. Get your free trial! https://ad.doubleclick.net/ddm/clk/302982198;130105516;z _______________________________________________ Geoserver-devel mailing list Geoserver-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/geoserver-devel
