Integrated: JDK-8320361: Doc error in RemoteRecordingStream.java

[Jonathan Gibbons]

On Sat, 18 Nov 2023 00:03:47 GMT, Jonathan Gibbons <jjg at openjdk.org> wrote:

> Please review a trivial `noreg-doc` fix to remove a redundant `<p>` tag before `{@snippet}`.  While mostly harmless, the empty paragraph does show up in HTML reports.

This pull request has now been integrated.

Changeset: 179f5052
Author:    Jonathan Gibbons <jjg at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/179f505258565408fe10e9047bb5e7cf120c8f6e
Stats:     1 line in 1 file changed: 0 ins; 1 del; 0 mod

8320361: Doc error in RemoteRecordingStream.java

Reviewed-by: egahlin

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

PR: https://git.openjdk.org/jdk/pull/16721