Skip to content

Expose PMD exception - #1905

Closed
uhafner wants to merge 1 commit into
mainfrom
pmd-exception
Closed

Expose PMD exception#1905
uhafner wants to merge 1 commit into
mainfrom
pmd-exception

Conversation

@uhafner

@uhafner uhafner commented Jun 16, 2026

Copy link
Copy Markdown
Owner

@uhafner uhafner changed the title Expose PMD exception Expose PMD exception (pmd/pmd#6782) Jun 16, 2026
@uhafner uhafner changed the title Expose PMD exception (pmd/pmd#6782) Expose PMD exception Jun 16, 2026
@uhafner

uhafner commented Jun 17, 2026

Copy link
Copy Markdown
Owner Author

Not required anymore, see issue pmd/pmd#6782 and fix pmd/pmd#6783.

@uhafner uhafner closed this Jun 17, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant