Fix: Lobby cleanup got blocked by previous feature for rejoining lobby while game is still going #340

Merged
jona.walpert merged 1 commits from fix/lobby-cleanup-blocked into main 2026-05-15 15:40:46 +02:00
jona.walpert commented 2026-05-15 15:38:15 +02:00 (Migrated from git.scicore.unibas.ch)
No description provided.
jona.walpert (Migrated from git.scicore.unibas.ch) scheduled this pull request to auto merge when all checks succeed 2026-05-15 15:38:36 +02:00
jona.walpert commented 2026-05-15 15:40:46 +02:00 (Migrated from git.scicore.unibas.ch)

mentioned in commit f9fded5afd

mentioned in commit f9fded5afd04b832ba6305074bf98fd29ae33ef9
jona.walpert (Migrated from git.scicore.unibas.ch) merged commit f9fded5afd into main 2026-05-15 15:40:46 +02:00
This repo is archived. You cannot comment on pull requests.
No Reviewers
1 Participants
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: University-of-Basel-Studentprojects/Programmierprojekt#340