[records] Is serialVersionUID warning for records redundant?

[B. Blaser]

Thanks Vicente, the pull request [1] looks good to me!

Ciao,
Bernard

[1] https://git.openjdk.java.net/jdk/pull/363

On Fri, 25 Sep 2020 at 16:56, Vicente Romero <vicente.romero at oracle.com> wrote:
>
> Hi Bernard,
>
> Thanks for the patch I will start a review in git,
>
> Vicente