On Thu, 22 Aug 2024 17:40:08 GMT, Hamlin Li <mli at openjdk.org> wrote: >> Great. Maybe add a comment to that effect here? > > Sure, I can do it later when addressing other comments. Fixed the comments, Thanks! ------------- PR Review Comment: https://git.openjdk.org/jdk/pull/20026#discussion_r1728606072