Skip to content

[Backport 5.1] Fix javadoc typo for null#3436

Merged
akrherz merged 1 commit into
5.1from
backport-3435-to-5.1
Jul 8, 2026
Merged

[Backport 5.1] Fix javadoc typo for null#3436
akrherz merged 1 commit into
5.1from
backport-3435-to-5.1

Conversation

@github-actions

@github-actions github-actions Bot commented Jul 8, 2026

Copy link
Copy Markdown

Description

Backport of #3435 to 5.1.

(cherry picked from commit 4d1a5ca)
@akrherz akrherz merged commit 56399fc into 5.1 Jul 8, 2026
@akrherz akrherz deleted the backport-3435-to-5.1 branch July 8, 2026 15:55
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