On Mon, 17 Jul 2023 03:39:39 GMT, Jeremy <[email protected]> wrote: > @aivanov-jdk IIRC this ticket (a P3) was initially assigned to you, and I > asked to look at it instead. It looks like for now this PR is stalled, so > please feel free to reassign the openJDK ticket (or make any other > appropriate changes) if needed.
@mickleness It's not assigned to me now. I can't even find that it was assigned to me. ------------- PR Comment: https://git.openjdk.org/jdk/pull/14363#issuecomment-1646114611
