On Fri, 8 Jul 2022 18:46:08 GMT, Alan Bateman <alanb at openjdk.org> wrote: > Can you update the @bug tag before you integrate? Done and pushed. Thanks for the reminder ------------- PR: https://git.openjdk.org/jdk/pull/9433