hg: amber/amber: records: fix cut'n'paste error in essentialAPI=true preview docs

chris.hegarty at oracle.com chris.hegarty at oracle.com
Sat Oct 26 11:15:46 UTC 2019


Changeset: 9fcbb7a24c61
Author:    chegar
Date:      2019-10-26 12:14 +0100
URL:       https://hg.openjdk.java.net/amber/amber/rev/9fcbb7a24c61

records: fix cut'n'paste error in essentialAPI=true preview docs

! src/java.base/share/classes/java/lang/Record.java
! src/java.base/share/classes/java/lang/annotation/ElementType.java



More information about the amber-dev mailing list