Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Fixed typos in CodeMemberDescriptor javadoc strings. #295

Merged
merged 1 commit into from
Dec 4, 2023

Conversation

giacomo-boldini
Copy link
Collaborator

Description
Fixed typos in CodeMemberDescriptor javadoc strings.

@lucaneg lucaneg added the 🏗 resolution:wip Incomplete work - do not review yet label Nov 30, 2023
@giacomo-boldini giacomo-boldini marked this pull request as ready for review November 30, 2023 13:00
@lucaneg lucaneg self-assigned this Dec 4, 2023
@lucaneg lucaneg added 🐛 type:bug Something isn't working 📑 scope:docs Improvements or additions to documentation ❕ priority:p4 Priority planning - level 4 and removed 🏗 resolution:wip Incomplete work - do not review yet labels Dec 4, 2023
@lucaneg lucaneg merged commit e556487 into master Dec 4, 2023
5 checks passed
@lucaneg lucaneg deleted the giacomo-boldini/typo branch December 4, 2023 13:55
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
❕ priority:p4 Priority planning - level 4 📑 scope:docs Improvements or additions to documentation 🐛 type:bug Something isn't working
Projects
Status: PR Merged
Development

Successfully merging this pull request may close these issues.

None yet

2 participants