geoserver/geoserver — pull request #83 by steenhulthin (2012-12-17 21:22:56+00:00)
Title: replaced hardcoded geoserver version number.

Docs not depending on version number (this pullrequest). (Alternative: fix hardcoded version number)