set source id changed
Merge branch 'release/3.0.1' of github.com:mapbender/mapbender into release/3.0.1
Merge branch 'release/3.0.1' of github.com:mapbender/mapbender into release/3.0.1