RFR: 8241151: Incorrect lint warning for no definition of serialVersionUID in a record [v2]

Mon Sep 28 21:07:34 UTC 2020

On Mon, 28 Sep 2020 21:00:08 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>
>
> Vicente Romero has updated the pull request incrementally with one additional commit since the last revision:
> 
>   adding bug number to test and updating code as per review comments

Marked as reviewed by jjg (Reviewer).

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

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