On Sat, 28 Aug 2021 13:18:37 GMT, Claes Redestad <redestad at 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