Skip to content

Conversation

@SamyOubouaziz
Copy link
Collaborator

Your checklist for this pull request

Description

Please describe what you added or changed.

@SamyOubouaziz SamyOubouaziz added priority: low Maintenance PRs that are not critical. status: doc review Waiting for doc team review labels Apr 10, 2025
@SamyOubouaziz SamyOubouaziz self-assigned this Apr 10, 2025
Copy link
Contributor

@RoRoJ RoRoJ left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Does it need to be removed from the menu?

@SamyOubouaziz SamyOubouaziz merged commit 3250f90 into main Apr 10, 2025
5 checks passed
@SamyOubouaziz SamyOubouaziz deleted the int-fix-remove-duplicate-page branch April 10, 2025 14:47
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

priority: low Maintenance PRs that are not critical. status: doc review Waiting for doc team review

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants