Skip to content

Don't try to elect a leader when there is no lobby - #388

Merged
erikdubbelboer merged 1 commit into
mainfrom
no-leader-election-empty-lobby
Jul 28, 2026
Merged

Don't try to elect a leader when there is no lobby#388
erikdubbelboer merged 1 commit into
mainfrom
no-leader-election-empty-lobby

Don't try to elect a leader when there is no lobby

0318c7c
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar