Thank you so much, Bernard and Vladimir Ivanov. On 2019/6/26 上午4:12, B. Blaser wrote: > Thanks for your approval, Vladimir, and thanks to Jie for his > contribution, pushed: > http://hg.openjdk.java.net/jdk/jdk/rev/41fd388aaa4d > > Regards, > Bernard