Skip to content

Conversation

@RoRoJ
Copy link
Contributor

@RoRoJ RoRoJ commented May 19, 2025

Your checklist for this pull request

Description

Please describe what you added or changed.

@RoRoJ RoRoJ added Documentation Bug type: changelog Changelog entries priority: medium Maintenance PRs to fix several visible mistakes labels May 19, 2025
@bene2k1 bene2k1 merged commit 6f2468b into main May 20, 2025
6 checks passed
@bene2k1 bene2k1 deleted the int-fix-changelog branch May 20, 2025 07:10
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Documentation Bug priority: medium Maintenance PRs to fix several visible mistakes type: changelog Changelog entries

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants