On Tue, 19 Nov 2024 16:08:18 GMT, Pavel Rappo <prappo at openjdk.org> wrote: > Please review this essentially doc only change. This pull request has been closed without being integrated. ------------- PR: https://git.openjdk.org/jdk/pull/22244