+1
Paul.
> On Feb 5, 2020, at 2:36 PM, Vicente Romero <[email protected]> wrote:
>
> forwarding to compiler dev, I need a reviewer for this change,
>
> Thanks,
> Vicente
>
>
> -------- Forwarded Message --------
> Subject: RFR: JDK-8238239: java.lang.Record spec clarifications
> Date: Tue, 4 Feb 2020 15:38:02 -0500
> From: Vicente Romero <[email protected]>
> <mailto:[email protected]>
> To: core-libs-dev <[email protected]>
> <mailto:[email protected]>
>
> Please review the fix for [1] at [2] along with the corresponding CSR at [3].
> The fix clarifies the specification for java.lang.Record. Please see the CSR
> for more detail,
>
> Thanks,
> Vicente
>
> PS, thanks to John Rose for proposing this fix
>
> [1] https://bugs.openjdk.java.net/browse/JDK-8238239
> <https://bugs.openjdk.java.net/browse/JDK-8238239>
> [2] http://cr.openjdk.java.net/~vromero/8238239/webrev.00/
> <http://cr.openjdk.java.net/~vromero/8238239/webrev.00/>
> [3] https://bugs.openjdk.java.net/browse/JDK-8238240
> <https://bugs.openjdk.java.net/browse/JDK-8238240>
