Integrated: Minor fixes
Jesper Wilhelmsson
jwilhelm at openjdk.org
Thu Nov 6 16:02:56 UTC 2025
Minor fixes
-------------
Commit messages:
- Minor fixes
Changes: https://git.openjdk.org/guide/pull/162/files
Webrev: https://webrevs.openjdk.org/?repo=guide&pr=162&range=00
Stats: 3 lines in 2 files changed: 1 ins; 0 del; 2 mod
Patch: https://git.openjdk.org/guide/pull/162.diff
Fetch: git fetch https://git.openjdk.org/guide.git pull/162/head:pull/162
PR: https://git.openjdk.org/guide/pull/162
More information about the guide-dev
mailing list