widelands-dev team mailing list archive

[Tino <tino.miegel@xxxxxxxxxxxxxx>]

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

Commit Message changed to:

For Travis builds ignore github branch _widelands_dev_widelands_trunk.

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