Skip to content

Remove nuisance lowercase config#10

Merged
emirkmo merged 1 commit into
mainfrom
remove-forced-lowercase
Jun 5, 2025
Merged

Remove nuisance lowercase config#10
emirkmo merged 1 commit into
mainfrom
remove-forced-lowercase

Conversation

@emirkmo

@emirkmo emirkmo commented Jun 5, 2025

Copy link
Copy Markdown
Owner

str_to_lower doesn't work as expected. Essentially, it does it after validation and we don't always want this.

str_to_lower doesn't work as expected. Essentially, it does it after validation and we don't always want this.
@emirkmo emirkmo linked an issue Jun 5, 2025 that may be closed by this pull request
@emirkmo
emirkmo merged commit 8839500 into main Jun 5, 2025
5 checks passed
@emirkmo
emirkmo deleted the remove-forced-lowercase branch June 5, 2025 15:09
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

All strings are converted to lowercase, not just Literal options

1 participant