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