Re: RFR: 8332545: Fix handling of HTML5 entities in Markdown comments

[Jonathan Gibbons]

On Mon, 20 May 2024 23:21:31 GMT, Erik Joelsson <er...@openjdk.org> wrote:

> Build change looks good.

Thank you

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

PR Comment: https://git.openjdk.org/jdk/pull/19317#issuecomment-2121488205