Sort groups of divergent elements by their key first ignoring case, then preserving it#2861

Merged

ilya-g merged 2 commits intomasterfrom ig/group-sorting

Feb 17, 2023

+132-3

Commits on Feb 15, 2023

Sort groups of divergent elements by their key first ignoring case, then preserving it
ilya-g
committed
Add tests for sorting groups and navigation
ilya-g
committed