On Sat, 2 Jul 2022 01:04:19 GMT, Igor Veresov <iveresov at openjdk.org> wrote: > Updated man pages from markdown sources. Ok, I just hacked a patch file. ------------- PR: https://git.openjdk.org/jdk19/pull/103