Skip to content

Grammar and typo fixes in javadoc and other comments#2222

Merged
elharo merged 4 commits intomasterfrom
grammar
Apr 5, 2025
Merged

Grammar and typo fixes in javadoc and other comments#2222
elharo merged 4 commits intomasterfrom
grammar

Conversation

@elharo
Copy link
Copy Markdown
Contributor

@elharo elharo commented Apr 2, 2025

No description provided.

@elharo elharo requested a review from desruisseaux April 2, 2025 12:47
@elharo elharo changed the title A few grammar fixes in javadoc Grammar and typo fixes in javadoc and other comments Apr 2, 2025
@elharo elharo marked this pull request as ready for review April 2, 2025 20:44
@elharo elharo merged commit a5df9b6 into master Apr 5, 2025
19 checks passed
@elharo elharo deleted the grammar branch April 5, 2025 11:52
@github-actions github-actions Bot added this to the 4.0.0-rc-4 milestone Apr 5, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants