No functional changes intended - I broke it in the past by renaming "None" to "empty", and this can't happen any more with the enum class.
https://code.launchpad.net/~gunchleoc/widelands/bug-1619157-random-ai-none/+merge/306518 I only did a minimal fix at the time, because we were in release mode. -- https://code.launchpad.net/~widelands-dev/widelands/bug-1619157-random-ai-prevent-regression/+merge/315351 Your team Widelands Developers is subscribed to branch lp:~widelands-dev/widelands/bug-1619157-random-ai-prevent-regression. _______________________________________________ Mailing list: https://launchpad.net/~widelands-dev Post to : [email protected] Unsubscribe : https://launchpad.net/~widelands-dev More help : https://help.launchpad.net/ListHelp
