Skip to content

housekeeping changes from user feedback#209

Merged
zblz merged 4 commits intomasterfrom
maintenance
Jul 28, 2025
Merged

housekeeping changes from user feedback#209
zblz merged 4 commits intomasterfrom
maintenance

Conversation

@imrehg
Copy link
Member

@imrehg imrehg commented Jul 28, 2025

@imrehg imrehg changed the title DRAFT: housekeeping changes from user feedback housekeeping changes from user feedback Jul 28, 2025
@zblz zblz self-requested a review July 28, 2025 12:46
@zblz zblz merged commit bb6af29 into master Jul 28, 2025
8 checks passed
@zblz zblz deleted the maintenance branch July 28, 2025 12:46
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

2 participants