> 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 ------------- Changes: - all: https://git.openjdk.org/jdk/pull/23623/files - new: https://git.openjdk.org/jdk/pull/23623/files/d58db2ad..98d5dfc3 Webrevs: - full: https://webrevs.openjdk.org/?repo=jdk&pr=23623&range=01 - incr: https://webrevs.openjdk.org/?repo=jdk&pr=23623&range=00-01 Stats: 1 line in 1 file changed: 0 ins; 1 del; 0 mod Patch: https://git.openjdk.org/jdk/pull/23623.diff Fetch: git fetch https://git.openjdk.org/jdk.git pull/23623/head:pull/23623 PR: https://git.openjdk.org/jdk/pull/23623
