On Tue, 25 Apr 2023 17:02:10 GMT, Phil Race <[email protected]> wrote:
>> There were missing platforms in a couple of problem list entries. >> I verified the intended platforms are still needed and the other platforms >> pass. > > Phil Race has updated the pull request incrementally with one additional > commit since the last revision: > > 8306765 Marked as reviewed by iris (Reviewer). ------------- PR Review: https://git.openjdk.org/jdk/pull/13626#pullrequestreview-1400437638
