georchestra/georchestra — pull request #11 by fvanderbiest (2012-12-12 10:04:00+00:00)
Title: geoserver: default war name is geoserver-private - closes #4494

See http://applis-bretagne.fr/redmine/issues/4494 for discussion.
Not sure this is what we want though