On Thu, 28 Oct 2021 18:21:29 GMT, Mark Sheppard <mshep...@openjdk.org> wrote:
> as per comment from Igor above, the bug id in the problemlist is incorrect, > and it should be 8274122 you have used the bugid for this problemlist update @msheppar the bug id has been updated ------------- PR: https://git.openjdk.java.net/jdk/pull/6025
