On Wed, 27 Jan 2021 11:40:10 GMT, Matthias Perktold 
<github.com+7334069+mperkt...@openjdk.org> wrote:

> This PR supersedes #2223.
> The original PR was created from master, whereas this PR is created from a 
> fresh branch.

You should edit the title of the PR to be the same as the subject of the bug in 
JBS:
8231286: HTML font size too large with high-DPI scaling and W3C_LENGTH_UNITS

Please also provide the additional information in the description from the PR 
#2223.

-------------

PR: https://git.openjdk.java.net/jdk/pull/2256

Reply via email to