On Fri, 21 Oct 2022 04:08:46 GMT, Xiaohong Gong <xgong at openjdk.org> wrote: > Thanks for fixing it @DamonFool ! The change looks good to me! Thanks @XiaohongGong for your review. ------------- PR: https://git.openjdk.org/jdk/pull/10807