On Tue, 15 Dec 2020 21:19:46 GMT, Jonathan Gibbons <j...@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 <j...@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
