Skip to content

Comments

chore(deps): java#380

Merged
xenoterracide merged 1 commit intodevelopfrom
deps/update-java
Feb 16, 2026
Merged

chore(deps): java#380
xenoterracide merged 1 commit intodevelopfrom
deps/update-java

Conversation

@xenoterracide
Copy link
Owner

Automated changes by create-pull-request GitHub action

@xenoterracide xenoterracide enabled auto-merge (squash) February 16, 2026 03:56
@xenoterracide xenoterracide merged commit c719c40 into develop Feb 16, 2026
6 checks passed
@xenoterracide xenoterracide deleted the deps/update-java branch February 16, 2026 03:57
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