On Thu, 22 Oct 2020 17:16:23 GMT, Jonathan Gibbons <jjg at openjdk.org> wrote: > The change is (just) to remove legacy usages of a JDK-private custom tag. Marked as reviewed by mchung (Reviewer). ------------- PR: https://git.openjdk.java.net/jdk/pull/814