[jdk16] Integrated: JDK-8258338: Support deprecated records

Wed Dec 16 22:29:56 UTC 2020

On Tue, 15 Dec 2020 21:19:46 GMT, Jonathan Gibbons <jjg at openjdk.org> wrote:

> Relatively simple update to fix an oversight in the support for records. `RECORD` was not added to `DeprElementKind` with the derivative downstream updates.

This pull request has now been integrated.

Changeset: ce0ab2dd
Author:    Jonathan Gibbons <jjg at openjdk.org>
URL:       https://git.openjdk.java.net/jdk16/commit/ce0ab2dd
Stats:     84 lines in 5 files changed: 83 ins; 0 del; 1 mod

8258338: Support deprecated records

Reviewed-by: hannesw

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

PR: https://git.openjdk.java.net/jdk16/pull/29