Skip to content

chore: Update Java Properties#2447

Merged
renejeglinsky merged 1 commit intomainfrom
update-java-properties
Mar 11, 2026
Merged

chore: Update Java Properties#2447
renejeglinsky merged 1 commit intomainfrom
update-java-properties

Conversation

@github-actions
Copy link
Contributor

Updates Java properties to the latest version.

@github-actions github-actions bot requested a review from smahati as a code owner March 11, 2026 03:32
@renejeglinsky renejeglinsky merged commit 66b1245 into main Mar 11, 2026
3 checks passed
@renejeglinsky renejeglinsky deleted the update-java-properties branch March 11, 2026 14:33
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants