On Wed, 16 Nov 2022 15:29:43 GMT, Jonathan Gibbons <[email protected]> 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
