Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom

Feature/case insensitive sorting #429

Merged
merged 3 commits into from
Jul 1, 2024
Merged

Feature/case insensitive sorting #429

merged 3 commits into from
Jul 1, 2024

Conversation

PhilippOesch
Copy link
Contributor

Add case insensitive name sorting option in config #422

@github-actions github-actions bot requested a review from stevearc June 23, 2024 21:04
@PhilippOesch PhilippOesch reopened this Jun 23, 2024
@stevearc
Copy link
Owner

stevearc commented Jul 1, 2024

Thanks for the PR!

@stevearc stevearc merged commit 2077cc3 into stevearc:master Jul 1, 2024
9 checks passed
@github-actions github-actions bot mentioned this pull request Jul 1, 2024
Merged
# for free to join this conversation on GitHub. Already have an account? # to comment
Reviewers

@stevearc stevearc Awaiting requested review from stevearc

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@PhilippOesch @stevearc