chore: Adjust label for proper case sensitivity#21
Merged
typeslint-cli[bot] merged 1 commit intoTypeslint:developmentfrom Aug 21, 2023
Merged
chore: Adjust label for proper case sensitivity#21typeslint-cli[bot] merged 1 commit intoTypeslint:developmentfrom
typeslint-cli[bot] merged 1 commit intoTypeslint:developmentfrom
