geoserver/geoserver — pull request #721 by bradh (2014-09-13 04:24:08+00:00)
Title: Minor documentation fixes

Contributor guidance and the python extension.