On Wed, 11 Oct 2023 22:40:20 GMT, Sandhya Viswanathan <sviswanat...@openjdk.org> wrote:
>> I see now that this is an unrelated change. In that case please avoid >> changing whitespace in unrelated files for this PR. > > @erikj79 This space was inadvertently added as part of > (https://github.com/openjdk/jdk/pull/14227) and @magicus requested to remove > it in this follow-up PR. Ok, I missed that, never mind me then. ------------- PR Review Comment: https://git.openjdk.org/jdk/pull/16124#discussion_r1356808569