On Thu, 27 May 2021 14:14:55 GMT, Hannes Wallnöfer <hann...@openjdk.org> wrote:
> The new test looks good, apart from the question whether we should remove > unused styles now, later, or not at all. I was thinking to remove the unused styles in a separate PR. I wasn't sure if this would need extra investigation/verification that these styles are really unused. ------------- PR: https://git.openjdk.java.net/jdk/pull/4195
