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

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

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

2015-08-10 Thread GunChleoc
GunChleoc has proposed merging lp:~widelands-dev/widelands/bug-1480937 into lp:widelands. Requested reviews: Hans Joachim Desserud (hjd) Related bugs: Bug #1480937 in widelands: "Escape key doesn't work in all dialogues" https://bugs.launchpad.net/widelands/+bug/1480937 For more details, s

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

2015-08-10 Thread SirVer
Review: Approve lgtm, but not tested clang compilation. -- https://code.launchpad.net/~widelands-dev/widelands/bug-1480937/+merge/267587 Your team Widelands Developers is subscribed to branch lp:~widelands-dev/widelands/bug-1480937. ___ Mailing list:

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

2015-08-10 Thread GunChleoc
I will merge this, so the recipes will tell us. -- https://code.launchpad.net/~widelands-dev/widelands/bug-1480937/+merge/267587 Your team Widelands Developers is subscribed to branch lp:~widelands-dev/widelands/bug-1480937. ___ Mailing list: https://l

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

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