On Thu, 7 Nov 2024 18:27:35 GMT, Daniel Gredler <d...@openjdk.org> wrote:
> Correct, that will be JDK-8148334. I do plan to have a look at that one once > this PR is merged, Right, your changes look good for this PR. The above comment was added as future reference (note to self) since @aivanov-jdk and I observed glyph differences when we tested on different platforms. ------------- PR Review Comment: https://git.openjdk.org/jdk/pull/21716#discussion_r1833184256
