[prev in list] [next in list] [prev in thread] [next in thread] 

List:       openjdk-build-dev
Subject:    Integrated: JDK-8324231: bad command-line option in make/Docs.gmk
From:       Jonathan Gibbons <jjg () openjdk ! org>
Date:       2024-01-20 18:15:32
Message-ID: 6ZzfODeaFMK5jkYyM7pZD6ZtcOBLCvomG2sqYmmn2pM=.a3305d5b-0335-4af1-afbf-ddb1bf7f15c1 () github ! com
[Download RAW message or body]

On Fri, 19 Jan 2024 22:47:59 GMT, Jonathan Gibbons <jjg@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 <jjg@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


[prev in list] [next in list] [prev in thread] [next in thread]