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. Marked as reviewed by psandoz (Lead). ------------- PR Review: https://git.openjdk.org/babylon/pull/715#pullrequestreview-3519868672