Patch notes for 0.17.42

There's been an update (0.17.42) to Mini Matches!

The following changes have been made:

• In online mode, wait for players to join before starting match.
• Show a popup and return to main menu when the server leaves an online match.