wmc changed
Merge branch '3.0-design' of github.com:mapbender/mapbender into 3.0-design
Merge branch '3.0-design' of github.com:mapbender/mapbender into 3.0-design