Skip to content

Conversation

@elharo
Copy link
Contributor

@elharo elharo commented Feb 23, 2025

Another IntelliJ suggestion

@elharo elharo marked this pull request as ready for review February 23, 2025 16:53
@elharo elharo merged commit 39a28af into master Feb 23, 2025
52 checks passed
@elharo elharo deleted the bug2 branch February 23, 2025 16:54
@github-actions github-actions bot added this to the 3.6.0 milestone Feb 23, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants