On Wed, 10 Jul 2024 15:19:27 GMT, Matthias Baesken <mbaesken at openjdk.org> wrote: > Backport from 17, manual; javadoc-search.js is not in 11 Looks good. Please double-check the GHA results. ------------- Marked as reviewed by lucy (Reviewer). PR Review: https://git.openjdk.org/jdk11u-dev/pull/2847#pullrequestreview-2169710252