1. 2014-08-07 [1] Re: [Mapbender-dev] [Mapbender] #875: Measure Widget: mapbender Mapbender 2. 2014-08-07 [1] Re: [Mapbender-dev] [Mapbender] #894: Switching OWSPR mapbender Mapbender