On Thu, 2 Nov 2023 02:11:19 GMT, Jie Fu <ji...@openjdk.org> wrote: > LGTM > > If tier2 is unchanged after this patch, it would be good to change the JBS > title. Thanks.
Good point; bug and PR titles updated accordingly. Thanks. ------------- PR Comment: https://git.openjdk.org/jdk/pull/16437#issuecomment-1790019451
