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.

Marked as reviewed by shade (Reviewer).

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

PR Review: https://git.openjdk.org/jdk/pull/25595#pullrequestreview-2889283637

Reply via email to