Integrated: 8241151: Incorrect lint warning for no definition of serialVersionUID in a record

Mon Sep 28 21:27:16 UTC 2020

On Fri, 25 Sep 2020 17:45:10 GMT, Vicente Romero <vromero at openjdk.org> wrote:

> Co-authored-by: Bernard Blaser <bsrbnd at gmail.com>
> Co-authored-by: Vicente Romero <vicente.romero at oracle.com>

This pull request has now been integrated.

Changeset: ac15d644
Author:    Vicente Romero <vromero at openjdk.org>
URL:       https://git.openjdk.java.net/jdk/commit/ac15d644
Stats:     22 lines in 2 files changed: 18 ins; 0 del; 4 mod

8241151: Incorrect lint warning for no definition of serialVersionUID in a record

Co-authored-by: Bernard Blaser <bsrbnd at gmail.com>
Co-authored-by: Vicente Romero <vicente.romero at oracle.com>
Reviewed-by: jjg

-------------

PR: https://git.openjdk.java.net/jdk/pull/363