Skip to content

Conversation

@vlsi
Copy link
Collaborator

@vlsi vlsi commented Jun 3, 2023

Ignore "missing javadoc" warnings

@vlsi vlsi added the chore label Jun 3, 2023
@vlsi vlsi added this to the 5.6 milestone Jun 3, 2023
Ignore "missing javadoc" warnings
@vlsi vlsi merged commit 5f6bb60 into apache:master Jun 4, 2023
@vlsi vlsi deleted the verbosity branch June 5, 2023 13:47
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant