On Fri, 11 Dec 2020 02:07:50 GMT, Vicente Romero <vrom...@openjdk.org> wrote:
> Please review this patch which modifies the spec for method > java.lang.Record::equals. It states that the implementation of this method > should use the record fields for the comparison instead of the accessors. > > TIA, > Vicente This pull request has been closed without being integrated. ------------- PR: https://git.openjdk.java.net/jdk/pull/1742
