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

Reply via email to