On Fri, 13 Nov 2020 01:32:18 GMT, Jonathan Gibbons <j...@openjdk.org> wrote:
>> Do you mean ".html5" would be better to be removed? >> If so, yes. I just left it because the message would be friendly if it >> still say "attribute not supported in HTML5". > > Sorry, the comment is incorrectly focussed (and annoyingly cryptic: my > apologies). > I think I was referring to `dc.attr.obsolete.use.css` I got it. Ok. Will remove it. ------------- PR: https://git.openjdk.java.net/jdk/pull/893