[Geoserver-devel] GeoServer 2.5.2 DMG where?

In writing up geoserver feature frenzy I noticed that DMG link is broken for 2.5.2. Turns out the file is not listed on source forge?

http://sourceforge.net/projects/geoserver/files/GeoServer/2.5.2/

Anyone have a copy we can upload?

ā€“

Jody Garnett