#3190: JS API - Events don't seem to get stopped when game paused?
--+
Reporter: aubergine | Owner: Per
Type: bug |Status: new
Priority: normal|
#3191: Windows installer doubled version information
-+
Reporter: effigy| Type: bug
Status: new | Priority: normal
Milestone: unspecified | Component: other
#3192: Turkish Translate (Update)
-+-
Reporter:| Type: patch (an actual patch, not a
ayhangorgulu45@… | request for one)
Status: new | Priority: normal
Milestone:|
#3193: Mouse trap failure
+
Reporter: sjdebdaly@… | Type: bug
Status: new | Priority: normal
Milestone: unspecified | Component: other
Version: 3.1_beta2|
#3194: Exploding base walls in campaign broken
-+-
Reporter: cybersphinx | Owner: cyp
Type: bug |Status: new
Priority: major| Milestone:
Component: Campaign |