On Wed, 5 Jul 2023 14:41:21 GMT, Aleksey Shipilev <sh...@openjdk.org> wrote:
> Neither PR nor the bug describes what the root cause it, so it is very hard > to see if patch makes sense. Please describe the problem and solution briefly? Fair enough :) I've put the details into the initial comment and also renamed the new parameter according to the HS coding conventions. ------------- PR Comment: https://git.openjdk.org/jdk/pull/14773#issuecomment-1622176346