Skip to content

Conversation

@GiovanniCanali
Copy link
Collaborator

Description

This PR fixes #726

Checklist

  • Code follows the project’s Code Style Guidelines
  • Tests have been added or updated
  • Documentation has been updated if necessary
  • Pull request is linked to an open issue

@GiovanniCanali GiovanniCanali self-assigned this Dec 1, 2025
@GiovanniCanali GiovanniCanali requested a review from a team as a code owner December 1, 2025 09:36
@GiovanniCanali GiovanniCanali added documentation Improvements or additions to documentation pr-to-review Label for PR that are ready to been reviewed labels Dec 1, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation pr-to-review Label for PR that are ready to been reviewed

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants