Robuta

https://archive.lists.launchpad.net/widelands-dev/msg15626.html Re: [Merge] lp:~widelands-dev/widelands/bug-1806230-enable-ok-button into lp:widelands : Mailing... https://archive.lists.launchpad.net/widelands-dev/msg15630.html [Merge] lp:~widelands-dev/widelands/bug-1806230-enable-ok-button into lp:widelands : Mailing list...