On Mon, 17 Jan 2022 13:33:01 GMT, Kevin Rushforth <kcr at openjdk.org> wrote: > ...you have a typo in the HTML link. I see that the GitHub actions run failed for the same reason. ------------- PR: https://git.openjdk.java.net/jdk/pull/7104