On Thu, 30 May 2024 15:21:10 GMT, Scott Gibbons <sgibb...@openjdk.org> wrote:
> Done. I still see the numbers `4162796 4162796`. I'm not sure if this bug number is relevant. But certainly it should only be mentioned once ;) ------------- PR Review Comment: https://git.openjdk.org/jdk/pull/16753#discussion_r1620960158
