[jdk25] Integrated: 8358809: Improve link to stdin.encoding from java.lang.IO

2025-06-06 Thread Stuart Marks
On Fri, 6 Jun 2025 22:07:38 GMT, Stuart Marks wrote: > Hi all, > > This pull request contains a backport of commit > [d024f58e](https://github.com/openjdk/jdk/commit/d024f58e61ec27f6c13fde5dadb95c31875815d6) > from the [openjdk/jdk](https://git.openjdk.org/jdk) repository. > > The commit bein

Integrated: 8358809: Improve link to stdin.encoding from java.lang.IO

2025-06-06 Thread Stuart Marks
On Fri, 6 Jun 2025 18:34:10 GMT, Stuart Marks wrote: > Use a link of the form `System##stdin.encoding` to link directly to the > system property's description. This pull request has now been integrated. Changeset: d024f58e Author:Stuart Marks URL: https://git.openjdk.org/jdk/commit