[warzone2100-dev] [Warzone 2100 Trac] #3190: JS API - Events don't seem to get stopped when game paused?

#3190: JS API - Events don't seem to get stopped when game paused? --+ Reporter: aubergine | Owner: Per Type: bug |Status: new Priority: normal|

[warzone2100-dev] [Warzone 2100 Trac] #3191: Windows installer doubled version information

#3191: Windows installer doubled version information -+ Reporter: effigy| Type: bug Status: new | Priority: normal Milestone: unspecified | Component: other

[warzone2100-dev] [Warzone 2100 Trac] #3192: Turkish Translate (Update)

#3192: Turkish Translate (Update) -+- Reporter:| Type: patch (an actual patch, not a ayhangorgulu45@… | request for one) Status: new | Priority: normal Milestone:|

[warzone2100-dev] [Warzone 2100 Trac] #3193: Mouse trap failure

#3193: Mouse trap failure + Reporter: sjdebdaly@… | Type: bug Status: new | Priority: normal Milestone: unspecified | Component: other Version: 3.1_beta2|

[warzone2100-dev] [Warzone 2100 Trac] #3194: Exploding base walls in campaign broken

#3194: Exploding base walls in campaign broken -+- Reporter: cybersphinx | Owner: cyp Type: bug |Status: new Priority: major| Milestone: Component: Campaign |