On Mon, 5 Oct 2020 10:10:23 GMT, Severin Gehwolf <sgehw...@openjdk.org> wrote:
>>> The change looks reasonable. I checked the fail - it is gone with the >>> change! And both jtreg tests passed. >> >> Thanks for the review and for testing it! > > @bobvandette Could you perhaps have a look at this? Many thanks in advance! @bobvandette How about this? ------------- PR: https://git.openjdk.java.net/jdk/pull/485
