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. Looks good! ------------- Marked as reviewed by hannesw (Reviewer). PR: https://git.openjdk.java.net/jdk16/pull/29
