On Mon, 1 Mar 2021 08:31:40 GMT, Lutz Schmidt <[email protected]> wrote:
>> 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. Hi @RealLucy , I didn't do an actual review just made a passing comment. ------------- PR: https://git.openjdk.java.net/jdk/pull/2511
