On Wed, 25 Sep 2024 23:17:49 GMT, Joe Darcy <da...@openjdk.org> wrote:
> Simple change to add a few more index tags on terms related to equality and > equivalence. This pull request has now been integrated. Changeset: bb040ef4 Author: Joe Darcy <da...@openjdk.org> URL: https://git.openjdk.org/jdk/commit/bb040ef4cc2b626f282cbf6af5b359d1c2505385 Stats: 4 lines in 2 files changed: 0 ins; 0 del; 4 mod 8340983: Use index and definition tags in Object and Double Reviewed-by: bpb, liach ------------- PR: https://git.openjdk.org/jdk/pull/21195
