Skip to content

Conversation

@Ali-RS
Copy link
Member

@Ali-RS Ali-RS commented Dec 17, 2023

Fixed a bunch of Javadoc errors that were preventing the build.

@stephengold
Copy link
Member

These are good fixes, but I don't see any evidence that the build was broken.
If the build was broken, how come the repo's GitHub actions haven't failed?

@stephengold stephengold added the Documentation Issues that affect the Wiki, Javadoc or any other form of documentation label Dec 17, 2023
@stephengold stephengold added this to the Future Release milestone Dec 17, 2023
@Ali-RS
Copy link
Member Author

Ali-RS commented Dec 17, 2023

I tested it again and build is actually working fine. My mistake!
Apologies for the wrong report.

@stephengold
Copy link
Member

Unless there's more to discuss, I plan to integrate this PR in about 24 hours.

@stephengold stephengold merged commit 5b5e2a5 into jMonkeyEngine:master Dec 18, 2023
@stephengold stephengold modified the milestones: Future Release, v3.7.0 Oct 22, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Documentation Issues that affect the Wiki, Javadoc or any other form of documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants