On Mon, 21 Sep 2020 21:30:51 GMT, Vicente Romero <vrom...@openjdk.org> wrote:
> 8246774: implement Record Classes as a standard feature in Java This pull request has now been integrated. Changeset: c17d5851 Author: Vicente Romero <vrom...@openjdk.org> URL: https://git.openjdk.java.net/jdk/commit/c17d5851 Stats: 856 lines in 109 files changed: 72 ins; 562 del; 222 mod 8246774: implement Record Classes as a standard feature in Java Co-authored-by: Vicente Romero <vrom...@openjdk.org> Co-authored-by: Harold Seigel <hsei...@openjdk.org> Co-authored-by: Chris Hegarty <che...@openjdk.org> Reviewed-by: coleenp, jlahoda, sspitsyn, chegar ------------- PR: https://git.openjdk.java.net/jdk/pull/290
