Skip to content

Conversation

@DavidePastore
Copy link
Member

No description provided.

@DavidePastore DavidePastore self-assigned this Feb 2, 2026
@DavidePastore DavidePastore added the enhancement New feature or request label Feb 2, 2026
@DavidePastore DavidePastore linked an issue Feb 2, 2026 that may be closed by this pull request
@DavidePastore DavidePastore merged commit 490e25e into master Feb 2, 2026
1 check passed
@DavidePastore DavidePastore deleted the 98-fix-build branch February 2, 2026 16:16
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Fix build

2 participants