On Thu, 30 May 2024 15:21:10 GMT, Scott Gibbons <sgibbons at 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