Skip to content

Conversation

@elharo
Copy link
Contributor

@elharo elharo commented Jul 18, 2025

fixes #463

@elharo elharo marked this pull request as ready for review July 18, 2025 12:00
@elharo elharo requested a review from michael-o July 18, 2025 12:00
Copy link
Member

@michael-o michael-o left a comment

Choose a reason for hiding this comment

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

@elharo elharo merged commit e23ba56 into master Jul 19, 2025
52 checks passed
@elharo elharo deleted the 463 branch July 19, 2025 10:50
@github-actions
Copy link

@elharo Please assign appropriate label to PR according to the type of change.

@github-actions github-actions bot added this to the 3.4.1 milestone Jul 19, 2025
@elharo elharo added enhancement New feature or request java Pull requests that update Java code labels Jul 19, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request java Pull requests that update Java code

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Reduce info logging

3 participants