On Tue, 2 Mar 2021 20:01:22 GMT, Igor Veresov <ivere...@openjdk.org> wrote:
>> Lutz Schmidt has updated the pull request incrementally with one additional >> commit since the last revision: >> >> 8261447: requested changes by TobiHartmann > > Changes requested by iveresov (Reviewer). @veresov @vnkozlov Thank you again for the discussion yesterday. I have pushed the resulting changes for you to review. Awaiting your comments... ------------- PR: https://git.openjdk.java.net/jdk/pull/2511
