corrige un bug de détection des servers online #38

Merged
eric merged 1 commits from push-vnqkompntkws into main 2026-01-04 09:13:12 +01:00
Owner
No description provided.
eric added 1 commit 2026-01-04 09:12:54 +01:00
eric merged commit 7e14d36230 into main 2026-01-04 09:13:12 +01:00
Sign in to join this conversation.
No Reviewers
No Label
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: eric/pmomusic#38
No description provided.