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. As the creator of these tags many moons ago, I approve this change. ------------- Marked as reviewed by mr (Lead). PR: https://git.openjdk.java.net/jdk/pull/814