Skip to content

Remove unneeded code - #1023

Merged
elharo merged 3 commits into
masterfrom
ex
Feb 2, 2026
Merged

elharo merged 3 commits into
masterfrom
ex

Conversation

@elharo

@elharo elharo commented Jan 27, 2026 •

Copy link
Copy Markdown
Contributor

and some related API doc edits

@elharo
elharo requested a review from slachiewicz January 27, 2026 13:12
@elharo
elharo marked this pull request as ready for review January 27, 2026 17:06
@elharo
elharo merged commit ac90050 into master Feb 2, 2026
23 checks passed
@elharo
elharo deleted the ex branch February 2, 2026 12:50
@github-actions

github-actions Bot commented Feb 2, 2026

Copy link
Copy Markdown

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

@github-actions github-actions Bot added this to the 4.0.0-beta-4 milestone Feb 2, 2026
@desruisseaux desruisseaux added the java Pull requests that update Java code label Feb 2, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

java Pull requests that update Java code maintenance

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants