> 8296115 unfortunately did not prove to be as useful as expected, revert it > and reopen 8241499 for a future change.
Julian Waters has updated the pull request incrementally with one additional commit since the last revision: jdk-options.m4 ------------- Changes: - all: https://git.openjdk.org/jdk/pull/11077/files - new: https://git.openjdk.org/jdk/pull/11077/files/4519a8bb..46ebb6f4 Webrevs: - full: https://webrevs.openjdk.org/?repo=jdk&pr=11077&range=01 - incr: https://webrevs.openjdk.org/?repo=jdk&pr=11077&range=00-01 Stats: 8 lines in 1 file changed: 0 ins; 8 del; 0 mod Patch: https://git.openjdk.org/jdk/pull/11077.diff Fetch: git fetch https://git.openjdk.org/jdk pull/11077/head:pull/11077 PR: https://git.openjdk.org/jdk/pull/11077