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

2015-08-04 Thread GunChleoc
Excellent, will I merge this then? -- https://code.launchpad.net/~widelands-dev/widelands/bug-1201398/+merge/266182 Your team Widelands Developers is requested to review the proposed merge of lp:~widelands-dev/widelands/bug-1201398 into lp:widelands. _

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

2015-08-04 Thread TiborB
I tested it, if I look at the bug the problem is gone. The code looks good as far as I can say. -- https://code.launchpad.net/~widelands-dev/widelands/bug-1201398/+merge/266182 Your team Widelands Developers is requested to review the proposed merge of lp:~widelands-dev/widelands/bug-1201398 int

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

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