Happy new year everyone! An updated version of the records spec is available at:
http://cr.openjdk.java.net/~gbierman/jep359/latest (which currently points to http://cr.openjdk.java.net/~gbierman/jep359/jep359-20200110/specs/records-jls.html) This addresses: * Removes `final` modifier on record components * Adding missing annotation target PARAMETER * Corrects discussion of @SafeVarargs annotation * Forbids capture of local variables in a local record * Clarifies implicit formal parameter list in a compact constructor Gavin
