Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1581828 into lp:widelands

2016-06-19 Thread TiborB
once more: @bunnybot merge BTW Travis reports that build fails... -- https://code.launchpad.net/~widelands-dev/widelands/bug-1581828/+merge/297668 Your team Widelands Developers is subscribed to branch lp:~widelands-dev/widelands/bug-1581828. ___ Mai

Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1581828 into lp:widelands

2016-06-19 Thread SirVer
Bunnybot requires commands on a line of its own, that is why it didn't act on kaputtnik's merge. -- https://code.launchpad.net/~widelands-dev/widelands/bug-1581828/+merge/297668 Your team Widelands Developers is subscribed to branch lp:~widelands-dev/widelands/bug-1581828.

[Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1581828 into lp:widelands

2016-06-19 Thread noreply
The proposal to merge lp:~widelands-dev/widelands/bug-1581828 into lp:widelands has been updated. Status: Needs review => Merged For more details, see: https://code.launchpad.net/~widelands-dev/widelands/bug-1581828/+merge/297668 -- Your team Widelands Developers is subscribed to branch lp