On Fri, 23 Jun 2023 14:02:45 GMT, Jie Fu <jiefu at openjdk.org> wrote: > Do you think it's trivial? I would guess so. Go ahead and integrate. ------------- PR Comment: https://git.openjdk.org/jdk/pull/14627#issuecomment-1604334370