On Wed, 25 Sep 2024 23:17:49 GMT, Joe Darcy <darcy at openjdk.org> wrote: > Simple change to add a few more index tags on terms related to equality and equivalence. Marked as reviewed by bpb (Reviewer). ------------- PR Review: https://git.openjdk.org/jdk/pull/21195#pullrequestreview-2329695662