RFR: JDK-8290845: Consider an alternative item separator for multi-item option values

Wed Nov 16 15:39:00 UTC 2022

On Wed, 16 Nov 2022 15:29:43 GMT, Jonathan Gibbons <jjg at openjdk.org> wrote:

>> It's as if this mainline commit somehow got into this PR: https://github.com/openjdk/jdk/commit/82f9819eaccd091c9d3a0b89979ddc13b1ef761c
>
> I'll investigate, but it looks like just a side effect of importing the latest troff man page.

I'm just surprised that it showed up because it's *already in the mainline*, is all.

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

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