Thank you guy for your reviews! Pushed.
On 3/30/20 5:27 AM, Daniel Fuchs wrote:
Looks good to me Ivan. Thanks for this cleanup! best regards, -- daniel On 30/03/2020 03:34, Ivan Gerasimov wrote:Thank you Alan and Pavel! My apologies for a wrong link in the initial request. Here's the new webrev with the changes suggested by Pavel: http://cr.openjdk.java.net/~igerasim/8241760/01/webrev/ With kind regards, Ivan G.
-- With kind regards, Ivan Gerasimov