Integrated: 8358337: JDK-8357991 was committed with incorrect indentation

Mon Jun 2 17:09:55 UTC 2025

On Mon, 2 Jun 2025 16:59:15 GMT, Magnus Ihse Bursie <ihse at openjdk.org> wrote:

> Due to user error (I screwed up) the changes in indentation that was requested in the review was not included when the PR was integrated.

This pull request has now been integrated.

Changeset: a7671e73
Author:    Magnus Ihse Bursie <ihse at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/a7671e7360ce23df9577110266e66a1c1a790196
Stats:     5 lines in 1 file changed: 0 ins; 0 del; 5 mod

8358337: JDK-8357991 was committed with incorrect indentation

Reviewed-by: shade

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

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