Better definition of `requireJavadoc` task#452

Merged

mernst merged 5 commits intoplume-lib:masterfrom

mernst:requirejavadoc-gradle

Dec 20, 2025

Commits on Dec 12, 2025

Commits on Dec 15, 2025

Merge ../multi-version-control into requirejavadoc-gradle
mernst
committed

Commits on Dec 20, 2025

No longer Java source version 8
mernst
committed