On Fri, 16 Dec 2022 19:14:07 GMT, Volodymyr Paprotski <duke at openjdk.org> wrote: > Fix for better documentation. FYI @jnimeh I would think you'd need to make a backport for JDK 20. Perhaps there you can set the backport to Bug/P3. ------------- PR: https://git.openjdk.org/jdk20/pull/49