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/ > > Actually, since jdk14 is in RDP1, we need a special approval to push, as per > JEP 3 > (https://openjdk.java.net/jeps/3). Please seek one in the JIRA comments, and > that should be enough.
Disregard that, I misread the rules. We can push it to jdk14 without approval, until we hit RDP2. So, somebody needs to ack this patch, and then I can push. -- Thanks, -Aleksey