Well I dont say that my change fixed it, in fact I dont think it affected this directly, because has_workers is used only by AI...
Do you mean that bug is invalid? -- https://code.launchpad.net/~widelands-dev/widelands/bug-1545647-upgraded-workers/+merge/287890 Your team Widelands Developers is subscribed to branch lp:~widelands-dev/widelands/bug-1545647-upgraded-workers. _______________________________________________ Mailing list: https://launchpad.net/~widelands-dev Post to : [email protected] Unsubscribe : https://launchpad.net/~widelands-dev More help : https://help.launchpad.net/ListHelp
