| commit | ac15d6445b9241c2955349fd4b573aa84b82d13f | [log] [tgz] |
|---|---|---|
| author | Vicente Romero <vromero@openjdk.org> | Mon Sep 28 21:20:14 2020 +0000 |
| committer | Vicente Romero <vromero@openjdk.org> | Mon Sep 28 21:20:14 2020 +0000 |
| tree | 0a4534c86faf123e896ed5d9d60fa96befe9bb2b | |
| parent | d25b03e987396ef72534abc3c49bd7b53380a561 [diff] |
8241151: Incorrect lint warning for no definition of serialVersionUID in a record Co-authored-by: Bernard Blaser <bsrbnd@gmail.com> Co-authored-by: Vicente Romero <vicente.romero@oracle.com> Reviewed-by: jjg
For build instructions please see the online documentation, or either of these files:
See https://openjdk.java.net/ for more information about the OpenJDK Community and the JDK.