geoserver/geoserver — pull request #822 by smithkm (2014-11-18 23:35:23+00:00)
Title: Update Page Header for 2.5

Backport #820