Skip to content

minor sorting cleanup#45

Merged
sjmudd merged 1 commit intomasterfrom
sjm/minor-sorting-cleanup
Mar 31, 2026
Merged

minor sorting cleanup#45
sjmudd merged 1 commit intomasterfrom
sjm/minor-sorting-cleanup

Conversation

@sjmudd
Copy link
Copy Markdown
Owner

@sjmudd sjmudd commented Mar 31, 2026

  • using more consistent names

- using more consistent names
@sjmudd sjmudd merged commit f5dea6a into master Mar 31, 2026
1 check passed
@sjmudd sjmudd deleted the sjm/minor-sorting-cleanup branch March 31, 2026 12:33
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.

1 participant