HyperDot: Patch notes, Feb. 19, 2020

Want to report an issue? Post in the #game-support channel in discord.gg/heyglitch or email support@tribe-games.com. Bug Fixes Fixed issues with mouse not reacting appropriately on the level select screen in campaign. F…