Skip to content

Conversation

@dmolin
Copy link
Contributor

@dmolin dmolin commented Aug 1, 2025

Add missing documentation for the new priority configuration option.

@andersevenrud andersevenrud merged commit b69f642 into andersevenrud:master Aug 2, 2025
2 of 3 checks passed
@andersevenrud
Copy link
Owner

Much appreciated 🙇‍♂️

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