Sea of Dreams: Update

An update has been released for Sea of Dreams.

- Minor code maintenance, no customer-facing changes.
- Fix an issue when player can't close the settings menu.