Skip to content

Conversation

@RoRoJ
Copy link
Contributor

@RoRoJ RoRoJ commented Dec 3, 2024

Your checklist for this pull request

Description

Please describe what you added or changed.

@RoRoJ RoRoJ added the priority: critical PRs that should be merged ASAP label Dec 3, 2024
@RoRoJ RoRoJ merged commit 6b8107c into main Dec 3, 2024
3 checks passed
@RoRoJ RoRoJ deleted the int-fix-changelog-bug branch December 3, 2024 09:51
Laure-di pushed a commit to Laure-di/docs-content that referenced this pull request Mar 11, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

priority: critical PRs that should be merged ASAP

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants