Hi Felix, On 03.07.20 10:03, Yangfei (Felix) wrote: > Yes. Will push to jdk/jdk15 and to jdk/jdk after that. Pushing to jdk/jdk (JDK 16) is not required. It will be merged automatically: https://mail.openjdk.java.net/pipermail/jdk-dev/2020-June/004372.html Best regards, Tobias