On Wed, 17 Apr 2024 10:42:46 GMT, Martin Doerr <mdo...@openjdk.org> wrote:
> Please take a look at Mandy's suggestions. I think they make sense. Done. Sorry i missed it. I got notified that the patch had got approved so i went ahead with integrate. ------------- PR Comment: https://git.openjdk.org/jdk/pull/17945#issuecomment-2060978059