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

Reply via email to