← Back to team overview

widelands-dev team mailing list archive

[Merge] lp:~widelands-dev/widelands/fix-bug-1208130 into lp:widelands

 

cghislai has proposed merging lp:~widelands-dev/widelands/fix-bug-1208130 into lp:widelands.

Requested reviews:
  Widelands Developers (widelands-dev)
Related bugs:
  Bug #1208130 in widelands: "Spectators can click "Prefer rookies/heros" buttons in military buildings"
  https://bugs.launchpad.net/widelands/+bug/1208130

For more details, see:
https://code.launchpad.net/~widelands-dev/widelands/fix-bug-1208130/+merge/179293

I suggest merging Teppo's fix to the desync issue with soldiers preference. It has been tested
-- 
https://code.launchpad.net/~widelands-dev/widelands/fix-bug-1208130/+merge/179293
Your team Widelands Developers is requested to review the proposed merge of lp:~widelands-dev/widelands/fix-bug-1208130 into lp:widelands.


Follow ups