On Mon, 1 Mar 2021 08:26:41 GMT, Tobias Hartmann <[email protected]> wrote:
>> Lutz Schmidt has updated the pull request incrementally with one additional >> commit since the last revision: >> >> comment changes requested by TheRealMDoerr > > This looks good to me. Thank you for your review, Tobias! I'll delay integration for a while to give David and Igor a chance to react. ------------- PR: https://git.openjdk.java.net/jdk/pull/2511
