widelands-dev team mailing list archive

[Miroslav Remák <miroslavr256@xxxxxxxxx>]

> I think this branch is a significant improvement in any case, shall we merge
> it?

Whatever Tino is experiencing seems to be unrelated to this merge request, so I'd say let's merge it.
-- 
https://code.launchpad.net/~widelands-dev/widelands/bug-1548932-editor-save-zip-2/+merge/294067
Your team Widelands Developers is subscribed to branch lp:~widelands-dev/widelands/bug-1548932-editor-save-zip-2.