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