On Fri, 14 Feb 2025 19:09:53 GMT, Joe Wang <jo...@openjdk.org> wrote:
>> Fix an edge case in the patch for JDK-8207760. > > Joe Wang has updated the pull request incrementally with one additional > commit since the last revision: > > un-needed property removed Marked as reviewed by lancea (Reviewer). ------------- PR Review: https://git.openjdk.org/jdk/pull/23623#pullrequestreview-2618661407
