On Fri, 9 Feb 2024 18:17:58 GMT, Sebastian Lövdahl <d...@openjdk.org> wrote:
> I'll still fix this. So, I should change the PR title to match JDK-8226919, > and issue an `/issue remove` command for JDK-8307977, is that correct? Yes exactly, thanks. ------------- PR Comment: https://git.openjdk.org/jdk/pull/17628#issuecomment-1936404118
