On Mon, 16 Sep 2024 19:17:14 GMT, Kevin Driver <kdri...@openjdk.org> wrote:
>> Consequently, there are other spacing/formatting changes in this diff. > > Fixed an IDE formatting error in > https://github.com/openjdk/jdk/pull/20301/commits/6e9a70311873c6c3977314165db713e30b1814e0. Thanks. We can continue with (1a) and (2) elsewhere. ------------- PR Review Comment: https://git.openjdk.org/jdk/pull/20301#discussion_r1762036454
