On Wed, 3 Apr 2024 08:03:22 GMT, Matthias Baesken <mbaes...@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). Then you end up with the same issue that this PR has with 7 docs to update (and the "descriptive" default for the jcmd). I'm not advocating one approach over the other. I'm just pointing out that either approach has it's warts, and they rooted in the changes done for this PR. ------------- PR Comment: https://git.openjdk.org/jdk/pull/18190#issuecomment-2035525083
