On Fri, 10 Mar 2023 09:16:03 GMT, Eirik Bjorsnos <duke at 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