Skip to content

Custom Ordering/Sorting#39

Merged
coenm merged 60 commits intomainfrom
feature/customOrdering
Dec 15, 2022
Merged

Custom Ordering/Sorting#39
coenm merged 60 commits intomainfrom
feature/customOrdering

Conversation

@coenm
Copy link
Copy Markdown
Owner

@coenm coenm commented Dec 15, 2022

Implement mechanism to specify custom ordering. (#36 )

@coenm coenm added the enhancement 🚀 Enhancements label Dec 15, 2022
@coenm coenm merged commit fc717ef into main Dec 15, 2022
@coenm coenm deleted the feature/customOrdering branch December 15, 2022 08:14
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement 🚀 Enhancements

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant