On Wed, 16 Nov 2022 15:36:25 GMT, Pavel Rappo <[email protected]> wrote:
>> 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. It's now been merged in. ------------- PR: https://git.openjdk.org/jdk/pull/11178
