The public matchmaking server is now online again.
The following issues were fixed during maintenance:
Fixed an error server side that could lead to:
lobbies accidentally adding duplicate player entries.
Players merging into each other's lobbies, even when set to private.
No more sneaky Rats getting into places they shouldn't be!
The build of the dedicated server in Tools has also been updated to fix this issue.