On Fri, 19 Jan 2024 22:47:59 GMT, Jonathan Gibbons <j...@openjdk.org> wrote:
> Please review an almost trivial change to move the position of an HTML end > tag to avoid nested use of the tag. > > There is no change to the visual presentation, because the macro > `$(DRAFT_MARKER_STR)` itself uses `<strong>` (that was the cause of the > nested tags). This pull request has now been integrated. Changeset: f54a336c Author: Jonathan Gibbons <j...@openjdk.org> URL: https://git.openjdk.org/jdk/commit/f54a336cb7f147e618f81e4045b5050f93fa4c46 Stats: 1 line in 1 file changed: 0 ins; 0 del; 1 mod 8324231: bad command-line option in make/Docs.gmk Reviewed-by: erikj ------------- PR: https://git.openjdk.org/jdk/pull/17505