Skip to content

Use natural sort for filenames#763

Merged
lhecker merged 1 commit into
mainfrom
dev/lhecker/filename-sorting
Mar 19, 2026
Merged

Use natural sort for filenames#763
lhecker merged 1 commit into
mainfrom
dev/lhecker/filename-sorting

Conversation

@lhecker

@lhecker lhecker commented Feb 10, 2026

Copy link
Copy Markdown
Member

No description provided.

@lhecker
lhecker requested a review from DHowett February 10, 2026 19:32
[unstable]
panic-immediate-abort = true
build-std = ["std", "panic_abort"]
build-std-features = ["default", "optimize_for_size"]

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

?

@DHowett

DHowett commented Feb 24, 2026

Copy link
Copy Markdown
Member

this is cleared to land - alles OK?

@lhecker
lhecker merged commit baa3cb0 into main Mar 19, 2026
6 checks passed
@lhecker
lhecker deleted the dev/lhecker/filename-sorting branch March 19, 2026 22:57
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