This repository has been archived by the owner on Jul 31, 2024. It is now read-only.

Use non-case sensitive string for any ids #4234

Merged

leastprivilege merged 1 commit into master from features/non_case_sensitive_ids

Mar 31, 2020

Member

brockallen commented Mar 30, 2020


          Use non-case sensitive string for any ids #3184

a5a04ae

brockallen added the enhancement label

brockallen added this to the 4.0 milestone

leastprivilege merged commit 88afb8f into master

lock bot commented May 5, 2020

This thread has been automatically locked since there has not been any recent activity after it was closed. Please open a new issue for related bugs.

lock bot locked as resolved and limited conversation to collaborators

leastprivilege deleted the features/non_case_sensitive_ids branch

May 6, 2020 06:21

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels