DGE PROD - GeoServer REST

(history)