Skip to content

Fix case-insensitive world name handling#3408

Merged
benwoo1110 merged 1 commit intov5.5from
fix/case-insensitive-worldname
Jan 1, 2026
Merged

Fix case-insensitive world name handling#3408
benwoo1110 merged 1 commit intov5.5from
fix/case-insensitive-worldname

Commits

Commits on Jan 1, 2026