On Mon, 17 Jul 2023 18:39:37 GMT, Daniel Jeliński <djelin...@openjdk.org> wrote:
> I think `oid.hashCode() + Arrays.hashCode(nameValue)` would have been good > enough, but deepHashCode is also acceptable. Fixed as you suggested, in 3139043370f. ------------- PR Review Comment: https://git.openjdk.org/jdk/pull/14738#discussion_r1265978049
