Skip to content

Conversation

@CharlesDuboisSAP
Copy link
Contributor

@CharlesDuboisSAP CharlesDuboisSAP commented Aug 13, 2025

@CharlesDuboisSAP CharlesDuboisSAP self-assigned this Aug 13, 2025
@CharlesDuboisSAP CharlesDuboisSAP added please merge Request to merge a pull request please review Request to review a pull request labels Aug 13, 2025
@CharlesDuboisSAP CharlesDuboisSAP enabled auto-merge (squash) August 13, 2025 08:49
<groupId>org.apache.maven.plugins</groupId>
<artifactId>maven-javadoc-plugin</artifactId>
<version>3.11.2</version>
</plugin>
Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

drive-by fix, the version is now inherited by children poms

@CharlesDuboisSAP CharlesDuboisSAP merged commit da94c48 into main Aug 13, 2025
15 checks passed
@CharlesDuboisSAP CharlesDuboisSAP deleted the distributionManagement branch August 13, 2025 13:13
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

please merge Request to merge a pull request please review Request to review a pull request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants