[Geoserver-devel] Re: Geoserver 1.3 announcement

Hi,

I received the RSS announcement on 1.3 and I’m looking forward to trying out the final release version. I noticed that the download page still lists PR1 prerelease versions?