Developer postOriginal post (opens in a new tab)

Update notes for Dec 5

- Fix a couple issues with the new pause feature where it wasn't syncing.
- Fixed issue with quitting a paused game.