Merge branch '758-freeze-top-bar-of-plugin-panel-in-case-multiple-plugins-are-loaded' into 'master'
For 776-when-no-default-zoom-level-is-provided-compute-something-reasonable-instead-of-max-zoom-out
20 jobs
12 minutes 40 seconds, queued for 1 seconds