On Fri, 21 Apr 2023 16:44:13 GMT, Roger Riggs <rri...@openjdk.org> wrote:
> Create an internal Version record to hold and compare versions of the form > (major, minor, micro). > Add `OperatingSystem.version()` to return the version of the running OS. > Replace uses of os.version in java.base. > Subsequent PRs will apply to uses in other modules including, jdk.jlink, > jdk.jpackage, and java.desktop. This pull request has now been integrated. Changeset: 6acf032d Author: Roger Riggs <rri...@openjdk.org> URL: https://git.openjdk.org/jdk/commit/6acf032db891875c6a7403a18d5dc7c552fb4c11 Stats: 285 lines in 6 files changed: 268 ins; 10 del; 7 mod 8306678: Replace use of os.version with an internal Version record Reviewed-by: mchung ------------- PR: https://git.openjdk.org/jdk/pull/13584
