The proposal to merge lp:~widelands-dev/widelands/bug-1395278-game_io into
lp:widelands has been updated.
Status: Needs review => Merged
For more details, see:
https://code.launchpad.net/~widelands-dev/widelands/bug-1395278-game_io/+merge/288172
--
Your team Widelands Develop
Thanks!
@bunnybot merge
--
https://code.launchpad.net/~widelands-dev/widelands/bug-1395278-game_io/+merge/288172
Your team Widelands Developers is requested to review the proposed merge of
lp:~widelands-dev/widelands/bug-1395278-game_io into lp:widelands
/_widelands_dev_widelands_bug_1395278_game_io-651.
--
https://code.launchpad.net/~widelands-dev/widelands/bug-1395278-game_io/+merge/288172
Your team Widelands Developers is requested to review the proposed merge of
lp:~widelands-dev/widelands/bug-1395278-game_io into lp:widelands
exists.
--
https://code.launchpad.net/~widelands-dev/widelands/bug-1395278-game_io/+merge/288172
Your team Widelands Developers is requested to review the proposed merge of
lp:~widelands-dev/widelands/bug-1395278-game_io into lp:widelands.
___
Mailing list
exists.
--
https://code.launchpad.net/~widelands-dev/widelands/bug-1395278-game_io/+merge/288172
Your team Widelands Developers is requested to review the proposed merge of
lp:~widelands-dev/widelands/bug-1395278-game_io into lp:widelands.
___
Mailing list
I'm on the road right now - do you have time to fix the merge conflicts for me?
--
https://code.launchpad.net/~widelands-dev/widelands/bug-1395278-game_io/+merge/288172
Your team Widelands Developers is requested to review the proposed merge of
lp:~widelands-dev/widelands/bug-1395278-game_io
ug/1395278
For more details, see:
https://code.launchpad.net/~widelands-dev/widelands/bug-1395278-game_io/+merge/288172
Checked the code and played a game (with some stores and loads)
LGTM
--
Your team Widelands Developers is requested to review the proposed merge of
lp:~widelands-dev/wid
7 matches
Mail list logo