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

Fri Jun 6 20:10:53 UTC 2025

On Fri, 6 Jun 2025 18:34:10 GMT, Stuart Marks <smarks at openjdk.org> 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 <smarks at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/d024f58e61ec27f6c13fde5dadb95c31875815d6
Stats:     1 line in 1 file changed: 0 ins; 0 del; 1 mod

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

Reviewed-by: naoto

-------------

PR: https://git.openjdk.org/jdk/pull/25676