On Fri, 29 Mar 2024 04:15:24 GMT, Chris Plummer <cjplum...@openjdk.org> wrote:

> There's also a question of whether currently missing doc updates for 
> HeapDumpGzipLevel should be made part of this PR 
> because it complicates back porting.

It should most likely be a separate PR (the title of this one does not match, 
and there are different backporting needs).

-------------

PR Comment: https://git.openjdk.org/jdk/pull/18190#issuecomment-2033834669

Reply via email to