On Mon, 2 Jun 2025 16:59:15 GMT, Magnus Ihse Bursie <i...@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 <i...@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
