[code-reflection] Integrated: Fix javadoc issues

Maurizio Cimadamore mcimadamore at openjdk.org
Mon Dec 1 10:31:25 UTC 2025


On Fri, 28 Nov 2025 12:46:11 GMT, Maurizio Cimadamore <mcimadamore at openjdk.org> wrote:

> This simple PR fixes some issues preventing `make docs` to complete normally.

This pull request has now been integrated.

Changeset: fa097e59
Author:    Maurizio Cimadamore <mcimadamore at openjdk.org>
URL:       https://git.openjdk.org/babylon/commit/fa097e590fc5bcbf74b75a123939cadad59b3ed3
Stats:     10 lines in 4 files changed: 2 ins; 2 del; 6 mod

Fix javadoc issues

Reviewed-by: psandoz

-------------

PR: https://git.openjdk.org/babylon/pull/715


More information about the babylon-dev mailing list