On Thu, 2 Mar 2023 19:36:21 GMT, Alan Bateman <alanb at openjdk.org> wrote: > I'd probably update the @bug line to add 8303413 Done in a2216a728b642a649c4c6261cd8ed1b1bc18136a. ------------- PR: https://git.openjdk.org/jdk/pull/12795