On 11/27/2019 12:59 AM, Gavin Bierman wrote: >> I don't see any changes to http://cr.openjdk.java.net/~gbierman/jep359/jep359-20191125/specs/records-jvms.html ? > > Should be there now. This updated JVMS draft looks good, thanks. Alex