widelands private

To start a new build commit change to repository or click New build button.
Merged trunk.
_widelands_dev_widelands_bug_1653460_panel_init_width-1857