The proposal to merge lp:~widelands-dev/widelands/ai_militarysites_prohibited
into lp:widelands has been updated.
Status: Needs review => Merged
For more details, see:
https://code.launchpad.net/~widelands-dev/widelands/ai_militarysites_prohibited/+merge/337822
--
Your team Widelands Develo
Continuous integration builds have changed state:
Travis build 3184. State: passed. Details:
https://travis-ci.org/widelands/widelands/builds/342512052.
Appveyor build 2993. State: success. Details:
https://ci.appveyor.com/project/widelands-dev/widelands/build/_widelands_dev_widelands_ai_militar
@bunnybot merge
--
https://code.launchpad.net/~widelands-dev/widelands/ai_militarysites_prohibited/+merge/337822
Your team Widelands Developers is subscribed to branch
lp:~widelands-dev/widelands/ai_militarysites_prohibited.
___
Mailing list: https://l
Review: Approve
LGTM - the documentation already states that it's allowed for militarysites, so
nothing to do there.
@bunnybot merge
--
https://code.launchpad.net/~widelands-dev/widelands/ai_militarysites_prohibited/+merge/337822
Your team Widelands Developers is subscribed to branch
lp:~widel
TiborB has proposed merging
lp:~widelands-dev/widelands/ai_militarysites_prohibited into lp:widelands.
Requested reviews:
Widelands Developers (widelands-dev)
Related bugs:
Bug #1749716 in widelands: "aihints for military buildings"
https://bugs.launchpad.net/widelands/+bug/1749716
For mor
5 matches
Mail list logo
