On Thu, 6 Jul 2023 09:35:30 GMT, Hannes Wallnöfer <hann...@openjdk.org> wrote:
> This bug existed before 21, but > [JDK-8286470](https://bugs.openjdk.org/browse/JDK-8286470) triggered it and > caused some strange and possibly non-deterministic ordering of items in the > JavaDoc index pages, which caused failures reported in > [JDK-8309233](https://bugs.openjdk.org/browse/JDK-8309233). Since the fix is > fairly simple I think it should be backported to 21. Marked as reviewed by prappo (Reviewer). ------------- PR Review: https://git.openjdk.org/jdk21/pull/100#pullrequestreview-1516313986
