Skip to content
This repository was archived by the owner on Jan 17, 2025. It is now read-only.

Make sure quoted user name case is preserved in state#68

Merged
winglot merged 1 commit intomasterfrom
username-case-sensitive
Apr 21, 2022
Merged

Make sure quoted user name case is preserved in state#68
winglot merged 1 commit intomasterfrom
username-case-sensitive

Conversation

@winglot
Copy link
Copy Markdown
Member

@winglot winglot commented Apr 21, 2022

Resolves #67

@winglot winglot merged commit 71656ee into master Apr 21, 2022
@winglot winglot deleted the username-case-sensitive branch April 21, 2022 09:01
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Quoted user names are now always case-sensitive regardless of enable_case_sensitive_identifier setting

3 participants