Chore: Remove unused import from lobby ui code #295

Merged
jona.walpert merged 1 commits from chore/remove-unused-imports-lobby-ui into main 2026-04-21 20:50:39 +02:00
jona.walpert commented 2026-04-21 20:48:38 +02:00 (Migrated from git.scicore.unibas.ch)

Removed unused import from lobby UI code

Removed unused import from lobby UI code
jona.walpert (Migrated from git.scicore.unibas.ch) scheduled this pull request to auto merge when all checks succeed 2026-04-21 20:48:41 +02:00
jona.walpert commented 2026-04-21 20:50:39 +02:00 (Migrated from git.scicore.unibas.ch)

mentioned in commit 028c3adb0d

mentioned in commit 028c3adb0d9bc6292fa5f6aba155704b303fc46e
jona.walpert (Migrated from git.scicore.unibas.ch) merged commit 028c3adb0d into main 2026-04-21 20:50:39 +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#295