widelands-dev team mailing list archive
-
widelands-dev team
-
Mailing list archive
-
Message #01365
Re: [Merge] lp:~widelands-dev/widelands/game_end_summary into lp:widelands
It is now ready for review. I left the test win condition just in case, it should be removed before merging. I also updated the others to not popup the win/lost message.
--
https://code.launchpad.net/~widelands-dev/widelands/game_end_summary/+merge/176000
Your team Widelands Developers is requested to review the proposed merge of lp:~widelands-dev/widelands/game_end_summary into lp:widelands.
Follow ups
-
[Merge] lp:~widelands-dev/widelands/game_end_summary into lp:widelands
From: noreply, 2013-08-07
-
Re: [Merge] lp:~widelands-dev/widelands/game_end_summary into lp:widelands
From: SirVer, 2013-08-07
-
Re: [Merge] lp:~widelands-dev/widelands/game_end_summary into lp:widelands
From: cghislai, 2013-08-06
-
Re: [Merge] lp:~widelands-dev/widelands/game_end_summary into lp:widelands
From: Hans Joachim Desserud, 2013-08-06
-
Re: [Merge] lp:~widelands-dev/widelands/game_end_summary into lp:widelands
From: cghislai, 2013-08-06
-
Re: [Merge] lp:~widelands-dev/widelands/game_end_summary into lp:widelands
From: SirVer, 2013-08-05
-
Re: [Merge] lp:~widelands-dev/widelands/game_end_summary into lp:widelands
From: SirVer, 2013-08-05
-
Re: [Merge] lp:~widelands-dev/widelands/game_end_summary into lp:widelands
From: SirVer, 2013-08-05
-
Re: [Merge] lp:~widelands-dev/widelands/game_end_summary into lp:widelands
From: cghislai, 2013-07-26
-
Re: [Merge] lp:~widelands-dev/widelands/game_end_summary into lp:widelands
From: SirVer, 2013-07-25
-
Re: [Merge] lp:~widelands-dev/widelands/game_end_summary into lp:widelands
From: cghislai, 2013-07-25
-
Re: [Merge] lp:~widelands-dev/widelands/game_end_summary into lp:widelands
From: SirVer, 2013-07-25
-
Re: [Merge] lp:~widelands-dev/widelands/game_end_summary into lp:widelands
From: SirVer, 2013-07-25
-
Re: [Merge] lp:~widelands-dev/widelands/game_end_summary into lp:widelands
From: cghislai, 2013-07-24
-
Re: [Merge] lp:~widelands-dev/widelands/game_end_summary into lp:widelands
From: SirVer, 2013-07-24
-
Re: [Merge] lp:~widelands-dev/widelands/game_end_summary into lp:widelands
From: SirVer, 2013-07-24
-
[Merge] lp:~widelands-dev/widelands/game_end_summary into lp:widelands
From: cghislai, 2013-07-24