Skip to content

Convert PlayerChooseInitialServerEvent into a resulted event - #1787

Draft
electronicboy wants to merge 2 commits into
dev/3.0.0from
cat/initial-choose-server-resulted
Draft

Convert PlayerChooseInitialServerEvent into a resulted event#1787
electronicboy wants to merge 2 commits into
dev/3.0.0from
cat/initial-choose-server-resulted

fall back to non-record pattern matching (appease checkstyle)

dd67dfd
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar