widelands-dev team mailing list archive

[kaputtnik <somal@xxxxxxxx>]

The proposal to merge lp:~widelands-dev/widelands/bug_156675_editor_initial_tool into lp:widelands has been updated.

Commit Message changed to:

Use info tool as initial tool for the editor
Fixes bug 1566675

For more details, see:
https://code.launchpad.net/~widelands-dev/widelands/bug_156675_editor_initial_tool/+merge/291920
-- 
Your team Widelands Developers is requested to review the proposed merge of lp:~widelands-dev/widelands/bug_156675_editor_initial_tool into lp:widelands.