Skip to content

fix: use correct maven plugin reporting plugin#6244

Merged
jeremylong merged 1 commit intomainfrom
scratch/reporting
Dec 7, 2023
Merged

fix: use correct maven plugin reporting plugin#6244
jeremylong merged 1 commit intomainfrom
scratch/reporting

Conversation

@jeremylong
Copy link
Copy Markdown
Collaborator

resolves #6241

@boring-cyborg boring-cyborg Bot added the maven changes to the maven plugin label Dec 6, 2023
@jeremylong jeremylong added this to the 9.0.4 milestone Dec 6, 2023
@jeremylong jeremylong merged commit d9f9c3d into main Dec 7, 2023
@jeremylong jeremylong deleted the scratch/reporting branch December 7, 2023 11:01
@github-actions github-actions Bot locked as resolved and limited conversation to collaborators Dec 11, 2024
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

maven changes to the maven plugin

Projects

None yet

Development

Successfully merging this pull request may close these issues.

maven documentation site not being updated after version 8.2.1

1 participant