On Thu, 20 Jun 2024 12:22:14 GMT, Nizar Benalla <nbena...@openjdk.org> wrote:
> This is a clean backport of #19652 and commit > 5cad0b4df7f5ccb6d462dc948c2ea5ad5da6e2ed. Allowing the use of global HTML > attributes in javadoc. > > I used the `/backport` command but also manually created a backport of the > issue in JBS, I hope that's fine. This pull request has been closed without being integrated. ------------- PR: https://git.openjdk.org/jdk/pull/19805