On Mon, 16 Nov 2020 08:26:29 GMT, Serguei Spitsyn <sspit...@openjdk.org> wrote:
>> Robbin Ehn has updated the pull request incrementally with one additional >> commit since the last revision: >> >> Fixed comment > > Robbin, thank you for nice analysis in the the bug report. > The fix looks good. > Thanks, > Serguei Thanks, all! I push removal of the two dummy doSleep(), I count that as trivial, tested locally only. I'll integrate in a few hours. ------------- PR: https://git.openjdk.java.net/jdk/pull/1177
