[warzone2100-dev] [Warzone 2100 Trac] #3186: game crashes after 5-15 min

#3186: game crashes after 5-15 min +-- Reporter: kj4ank1@…| Type: bug Status: new | Priority: normal Milestone: unspecified | Component: Build system Version:

[warzone2100-dev] [Warzone 2100 Trac] #3188: JS API .include() returns false or undefined *joy*

#3188: JS API .include() returns false or undefined *joy* -+- Reporter: aubergine| Owner: Per Type: bug |Status: new Priority: normal |