Skip to content

Don't use locale-aware sorting in completions#1668

Merged
gabritto merged 1 commit intomainfrom
gabritto/sortCompletions
Sep 3, 2025
Merged

Don't use locale-aware sorting in completions#1668
gabritto merged 1 commit intomainfrom
gabritto/sortCompletions

Commits

Commits on Sep 2, 2025