On Sat, 28 Aug 2021 13:18:37 GMT, Claes Redestad <redes...@openjdk.org> wrote:
>> Ioi Lam has updated the pull request incrementally with one additional >> commit since the last revision: >> >> @dfuch comments > > Seems OK. Thanks @cl4es @magicus @dfuch for the review! ------------- PR: https://git.openjdk.java.net/jdk/pull/5288
