On Mon, 1 Mar 2021 22:54:15 GMT, David Holmes <[email protected]> wrote:
>> 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. @dholmes-ora OK then. I just didn't want to ignore anyone's opinion. I plan to integrate the change before my EOB (GMT+1), provided there are no objections. ------------- PR: https://git.openjdk.java.net/jdk/pull/2511
