On 1/8/20 10:12 AM, Aleksey Shipilev wrote: > On 1/8/20 9:45 AM, Aleksey Shipilev wrote: >> On 1/7/20 7:50 AM, Aleksey Shipilev wrote: >>> On 1/6/20 1:48 PM, Alex Kashchenko wrote: >>>> [...] >>>> Bug: https://bugs.openjdk.java.net/browse/JDK-8236125 >>> Webrev: http://cr.openjdk.java.net/~akasko/jdk/8236125/webrev.00/ > > So, somebody needs to ack this patch, and then I can push.
No other takers? I would then push this trivial patch for Alex under my single review. -- Thanks, -Aleksey