On Thu, 28 Oct 2021 15:30:49 GMT, Ivan Šipka <[email protected]> wrote:
>> cc @ctornqvi > > Ivan Šipka has updated the pull request incrementally with one additional > commit since the last revision: > > changing os id 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 ------------- PR: https://git.openjdk.java.net/jdk/pull/6025
