Skip to content

Javadoc fixes#1030

Merged
elharo merged 3 commits into
masterfrom
doc
Feb 7, 2026
Merged

Javadoc fixes#1030
elharo merged 3 commits into
masterfrom
doc

Conversation

@elharo

@elharo elharo commented Feb 7, 2026

Copy link
Copy Markdown
Contributor

typos and other small issues

@elharo elharo requested a review from desruisseaux February 7, 2026 16:28
@elharo elharo added the documentation Improvements or additions to documentation label Feb 7, 2026
@elharo elharo merged commit 5f32568 into master Feb 7, 2026
23 checks passed
@elharo elharo deleted the doc branch February 7, 2026 21:23
@github-actions

github-actions Bot commented Feb 7, 2026

Copy link
Copy Markdown

@elharo The PR can't be associated to a milestone, because there are multiple open milestones. Please add the text "branch: master" to the description to the milestone where this PR belongs to.

@desruisseaux desruisseaux added this to the 4.0.0-beta-5 milestone Feb 7, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants