On Fri, 10 Mar 2023 09:16:03 GMT, Eirik Bjorsnos <d...@openjdk.org> wrote:

> This PR seems to have broken `make docs`

It has been fixed by https://github.com/openjdk/jdk/pull/12957

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

PR: https://git.openjdk.org/jdk/pull/11367

Reply via email to