Skip to content

Map alias even when world isn't loaded and case insensitive lookup#3503

Merged
benwoo1110 merged 1 commit into
mainfrom
fix/alias-mapping
Jul 20, 2026
Merged

Map alias even when world isn't loaded and case insensitive lookup#3503
benwoo1110 merged 1 commit into
mainfrom
fix/alias-mapping

Conversation

@benwoo1110

@benwoo1110 benwoo1110 commented Jul 20, 2026

Copy link
Copy Markdown
Member

📦 Artifacts generated:

@benwoo1110
benwoo1110 merged commit a8c0b22 into main Jul 20, 2026
6 checks passed
@benwoo1110
benwoo1110 deleted the fix/alias-mapping branch July 20, 2026 05:18
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants