Skip to content

chore: Update Java Properties - #2778

Merged
chgeo merged 1 commit into
mainfrom
update-java-properties
Jul 31, 2026
Merged

chore: Update Java Properties#2778
chgeo merged 1 commit into
mainfrom
update-java-properties

Conversation

@github-actions

Copy link
Copy Markdown
Contributor

Updates Java properties to the latest version.

@github-actions
github-actions Bot requested review from danjoa and smahati as code owners July 29, 2026 03:50
@chgeo
chgeo enabled auto-merge July 31, 2026 09:35
@chgeo
chgeo added this pull request to the merge queue Jul 31, 2026
Merged via the queue into main with commit 1f46176 Jul 31, 2026
4 checks passed
@chgeo
chgeo deleted the update-java-properties branch July 31, 2026 09:39
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.

1 participant