Skip to content

Make filterable more flexible by allowing mixed case#72

Merged
tanweerdev merged 6 commits intomasterfrom
mixed_case_conditions
Oct 4, 2025
Merged

Make filterable more flexible by allowing mixed case#72
tanweerdev merged 6 commits intomasterfrom
mixed_case_conditions

Conversation

@tanweerdev
Copy link
Owner

No description provided.

@coveralls
Copy link

coveralls commented Sep 22, 2025

Coverage Status

coverage: 75.418% (+4.5%) from 70.889%
when pulling f20deb3 on mixed_case_conditions
into ae72e7c on master.

@tanweerdev tanweerdev merged commit 0709cd2 into master Oct 4, 2025
1 check passed
@tanweerdev tanweerdev deleted the mixed_case_conditions branch October 4, 2025 09:04
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.

2 participants