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