Tactical Troops: Anthracite Shift: Update notes 2021-07-07

- Fixed: bug that causes mission 5 to end immediately for linux users - Fixed: some other minor bugs